A network-conscious π-calculus and its coalgebraic semantics

Ugo Montanari, Matteo Sammartino

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)188-224
Number of pages37
JournalTheoretical Computer Science
Volume546
Early online date6 Mar 2014
DOIs
Publication statusPublished - 21 Aug 2014

Keywords

  • Coalgebras
  • Concurrent semantics
  • Network-awareness
  • Presheaves
  • π-calculus

Cite this