On the Expressiveness of Symmetric Communication

DOI10.1007/978-3-319-46750-4_9zbMath1482.68150OpenAlexW2523275915MaRDI QIDQ3179397

Thomas Given-Wilson, Axel Legay

Publication date: 21 December 2016

Published in: Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01241839/file/ICTAC_2016_paper_15_version_2.pdf

Mathematics Subject Classification ID

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

Related Items (3)

On the Expressiveness of Symmetric Communication ⋮ On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Expressiveness of concurrent intensionality

Uses Software

• Linda

Cites Work

• Unnamed Item
• A taxonomy of process calculi for distribution and mobility
• Comparing communication primitives via their relative expressive power
• A calculus of mobile processes. I
• Embedding as a tool for language comparison
• On the expressiveness of Linda coordination primitives.
• Towards a unified approach to encodability and separation results for process calculi
• Expressiveness of Process Algebras
• A Concurrent Pattern Calculus
• Expressiveness via Intensionality and Concurrency
• Psi-calculi: a framework for mobile processes with nominal data and logic
• A combinatory account of internal structure
• On the Expressiveness of Symmetric Communication
• Formalising the pi-calculus using nominal logic
• On the Expressive Power of Primitives for Compensation Handling
• On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
• Pattern Calculus
• Generative communication in Linda

This page was built for publication: On the Expressiveness of Symmetric Communication