Synchrony vs Asynchrony in Communication Primitives

DOI10.1016/j.entcs.2006.10.054zbMath1277.68185OpenAlexW2072830122MaRDI QIDQ2866346

Daniele Gorla

Publication date: 13 December 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.054

zbMATH Keywords

expressivenessprocess calculiencodingscommunication primitives

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Towards a unified approach to encodability and separation results for process calculi ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ Comparing communication primitives via their relative expressive power

Uses Software

• Pict
• Linda

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A process algebraic view of Linda coordination primitives
• A calculus of mobile processes. I
• An efficiency preorder for processes
• Testing equivalences for processes
• Mobile ambients
• Separation of synchronous and asynchronous communication via testing
• On the expressive power of \textsc{Klaim}-based calculi
• Divergence and fair testing
• Generative communication in Linda
• Barbed bisimulation
• Foundations of Software Science and Computation Structures