On the Asynchronous Nature of the Asynchronous π-Calculus

DOI10.1007/978-3-540-68679-8_29zbMath1143.68470OpenAlexW1535332605MaRDI QIDQ3507382

Romain Beauxis, Catuscia Palamidessi, Frank D. Valencia

Publication date: 19 June 2008

Published in: Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68679-8_29

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

On the diversity of asynchronous communication, Automated verification of automata communicating via FIFO and bag buffers, Unnamed Item, Enabling synchronous and asynchronous communications in CSP for SOC, On asynchronous eventful session semantics, Full abstraction for expressiveness: history, myths and facts, General conditions for full abstraction, Protocol Composition Logic (PCL)