Concurrent and Located Synchronizations in π-Calculus

DOI10.1007/978-3-540-69507-3_33zbMath1132.68044OpenAlexW1542888066MaRDI QIDQ5448789

Ivan Lanese

Publication date: 7 March 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69507-3_33

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Network Conscious π-calculus: A Concurrent Semantics, Parametric synchronizations in mobile nominal calculi, A network-conscious \(\pi\)-calculus and its coalgebraic semantics, Concurrency cannot be observed, asynchronously, PRISMA: A Mobile Calculus with Parametric Synchronization