On the Asynchronous Nature of the Asynchronous π-Calculus

DOI10.1007/978-3-540-68679-8_29MaRDI QIDQ3507382zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• On bisimulations for the asynchronous π-calculus
• scientific article; zbMATH DE number 1104400
• On bisimulations for the asynchronous -calculus
• scientific article; zbMATH DE number 1512624
• The buffered -calculus: a model for concurrent languages

Cited in

(29)

• Asynchronous process calculi: The first- and higher-order paradigms
• On the validity of encodings of the synchronous in the asynchronous -calculus
• Automated verification of automata communicating via FIFO and bag buffers
• A hierarchy of equivalences for asynchronous calculi
• scientific article; zbMATH DE number 1670841 (Why is no real title available?)
• From computing to interaction: on the expressiveness of asynchronous pi-calculus
• Protocol composition logic (PCL)
• Linearity, persistence and testing semantics in the asynchronous pi-calculus
• On the diversity of asynchronous communication
• scientific article; zbMATH DE number 1223738 (Why is no real title available?)
• scientific article; zbMATH DE number 1223739 (Why is no real title available?)
• scientific article; zbMATH DE number 1104400 (Why is no real title available?)
• scientific article; zbMATH DE number 2044505 (Why is no real title available?)
• scientific article; zbMATH DE number 1512615 (Why is no real title available?)
• scientific article; zbMATH DE number 1543081 (Why is no real title available?)
• The buffered -calculus: a model for concurrent languages
• Synchrony vs causality in the asynchronous -calculus
• A universal session type for untyped asynchronous communication
• scientific article; zbMATH DE number 7453965 (Why is no real title available?)
• 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
• First-order axioms for asynchrony
• On bisimulations for the asynchronous π-calculus
• Asynchronous \pi -calculus at Work: The Call-by-Need Strategy
• Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
• Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks
• Separation and encodability in mixed choice multiparty sessions

This page was built for publication: On the Asynchronous Nature of the Asynchronous π-Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3507382)