An intensionally fully-abstract sheaf model for π (expanded version)

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

199 Downloads (Pure)

Originalsprog	Engelsk
Artikelnummer	9
Tidsskrift	Logical Methods in Computer Science
Vol/bind	13
Udgave nummer	4
Antal sider	76
ISSN	1860-5974
DOI	https://doi.org/10.23638/LMCS-13(4:9)2017
Status	Udgivet - 2017

Adgang til dokumentet

@article{b92c3b2633624879a0805a3638c85a3a,

title = "An intensionally fully-abstract sheaf model for π (expanded version)",

keywords = "Programming languages, categorical semantics;presheaf semantics, game semantics, concurrency, process algebra",

author = "Clovis Eberhart and Tom Hirschowitz and Thomas Seiller",

year = "2017",

doi = "10.23638/LMCS-13(4:9)2017",

language = "English",

volume = "13",

journal = "Logical Methods in Computer Science",

issn = "1860-5974",

publisher = "Logical Methods in Computer Science",

number = "4",

}

TY - JOUR

T1 - An intensionally fully-abstract sheaf model for π (expanded version)

AU - Eberhart, Clovis

AU - Hirschowitz, Tom

AU - Seiller, Thomas

PY - 2017

Y1 - 2017

KW - Programming languages

KW - categorical semantics;presheaf semantics

KW - game semantics

KW - concurrency

KW - process algebra

U2 - 10.23638/LMCS-13(4:9)2017

DO - 10.23638/LMCS-13(4:9)2017

M3 - Journal article

SN - 1860-5974

VL - 13

JO - Logical Methods in Computer Science

JF - Logical Methods in Computer Science

IS - 4

M1 - 9

ER -