Network Conscious π-calculus: A Concurrent Semantics

Ugo Montanari; Matteo Sammartino

doi:10.1016/j.entcs.2012.08.019

Network Conscious π-calculus: A Concurrent Semantics

Ugo Montanari
, Matteo Sammartino

Computer Science

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

Original language	English
Pages (from-to)	291-306
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	286
DOIs	https://doi.org/10.1016/j.entcs.2012.08.019
Publication status	Published - 24 Sept 2012
Event	28th Conference on Mathematical Foundations of Programming Semantics - Duration: 6 Jun 2012 → 9 Jun 2012

Keywords

Concurrent semantics
Network-awareness
π-calculus

Access to Document

10.1016/j.entcs.2012.08.019Licence: CC BY-NC-ND

Cite this

@article{b83ea0e3aad94a6ea30d92a0c9352937,

title = "Network Conscious π-calculus: A Concurrent Semantics",

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

author = "Ugo Montanari and Matteo Sammartino",

year = "2012",

month = sep,

day = "24",

doi = "10.1016/j.entcs.2012.08.019",

language = "English",

volume = "286",

pages = "291--306",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

note = "28th Conference on Mathematical Foundations of Programming Semantics ; Conference date: 06-06-2012 Through 09-06-2012",

}

TY - JOUR

T1 - Network Conscious π-calculus

T2 - 28th Conference on Mathematical Foundations of Programming Semantics

AU - Montanari, Ugo

AU - Sammartino, Matteo

PY - 2012/9/24

Y1 - 2012/9/24

KW - Concurrent semantics

KW - Network-awareness

KW - π-calculus

UR - https://www.scopus.com/pages/publications/84879237913

U2 - 10.1016/j.entcs.2012.08.019

DO - 10.1016/j.entcs.2012.08.019

M3 - Article

AN - SCOPUS:84879237913

SN - 1571-0661

VL - 286

SP - 291

EP - 306

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

Y2 - 6 June 2012 through 9 June 2012

ER -

Network Conscious π-calculus: A Concurrent Semantics

Keywords

Access to Document

Other files and links

Cite this