A network-conscious π-calculus and its coalgebraic semantics

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	188-224
Number of pages	37
Journal	Theoretical Computer Science
Volume	546
Early online date	6 Mar 2014
DOIs	https://doi.org/10.1016/j.tcs.2014.03.009
Publication status	Published - 21 Aug 2014

Keywords

@article{7470402b1a494c83abb1051d39ccdd9f,

title = "A network-conscious π-calculus and its coalgebraic semantics",

keywords = "Coalgebras, Concurrent semantics, Network-awareness, Presheaves, π-calculus",

author = "Ugo Montanari and Matteo Sammartino",

year = "2014",

month = aug,

day = "21",

doi = "10.1016/j.tcs.2014.03.009",

language = "English",

volume = "546",

pages = "188--224",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - A network-conscious π-calculus and its coalgebraic semantics

AU - Montanari, Ugo

AU - Sammartino, Matteo

PY - 2014/8/21

Y1 - 2014/8/21

KW - Coalgebras

KW - Concurrent semantics

KW - Network-awareness

KW - Presheaves

KW - π-calculus

U2 - 10.1016/j.tcs.2014.03.009

DO - 10.1016/j.tcs.2014.03.009

M3 - Article

AN - SCOPUS:84924412136

SN - 0304-3975

VL - 546

SP - 188

EP - 224

JO - Theoretical Computer Science

JF - Theoretical Computer Science

ER -