Comparing communication primitives via their relative expressive power
From MaRDI portal
Publication:1004386
DOI10.1016/j.ic.2008.05.001zbMath1169.68009OpenAlexW1968539782MaRDI QIDQ1004386
Publication date: 4 March 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2008.05.001
Theory of programming languages (68N15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
On the Expressiveness of Symmetric Communication, Theory of interaction, Expressiveness of concurrent intensionality, Breaking symmetries, Synchrony versus causality in distributed systems, Replacement freeness: a criterion for separating process calculi, Towards a unified approach to encodability and separation results for process calculi, A taxonomy of process calculi for distribution and mobility, On the expressiveness of interaction, Full abstraction for expressiveness: history, myths and facts, Counting nondeterministic computations, A thesis for interaction
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bisimulation for higher-order process calculi
- XPi: a typed process calculus for XML messaging
- Semantic subtyping for the pi-calculus
- A process algebraic view of Linda coordination primitives
- A calculus of mobile processes. I
- On bisimulations for the asynchronous \(\pi\)-calculus
- Embedding as a tool for language comparison
- An efficiency preorder for processes
- On reduction-based process semantics
- Comparing three semantics for Linda-like languages
- Mobile ambients
- On the expressiveness of Linda coordination primitives.
- What is a ``good encoding of guarded choice?
- Decoding choice encodings
- On the expressive power of movement and restriction in pure mobile ambients
- Types and full abstraction for polyadic \(\pi\)-calculus
- On the expressive power of \textsc{Klaim}-based calculi
- Synchrony vs Asynchrony in Communication Primitives
- Expressiveness of Process Algebras
- Pattern Matching over a Dynamic Network of Tuple Spaces
- Generative communication in Linda
- Barbed bisimulation
- Foundations of Software Science and Computation Structures
- Programming Languages and Systems
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
- Foundations of Software Science and Computation Structures
