Expressiveness of concurrent intensionality

DOI10.1016/j.tcs.2020.05.007zbMath1461.68130OpenAlexW3032132007MaRDI QIDQ2193283

Ioana Cristescu, Thomas Given-Wilson, Axel Legay

Publication date: 25 August 2020

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.05.007

zbMATH Keywords

pattern matchingexpressivenesslinearityprocess calculiencodingsintensionality

Mathematics Subject Classification ID

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

Uses Software

• KLAIM
• Linda

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A taxonomy of process calculi for distribution and mobility
• Semantic subtyping for the pi-calculus
• Comparing communication primitives via their relative expressive power
• Higher-level synchronising devices in Meije-SCCS
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• On reduction-based process semantics
• Foundations of software science and computation structures. 1st international conference, FoSSaCS '98. Held as part of the joint European conferences on Theory and practice of software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings
• On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus
• On the expressiveness of Linda coordination primitives.
• Towards a unified approach to encodability and separation results for process calculi
• Types and full abstraction for polyadic \(\pi\)-calculus
• On the expressive power of \textsc{Klaim}-based calculi
• Pattern-matching spi-calculus
• A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
• Matching Systems for Concurrent 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
• Concurrent Pattern Calculus
• A combinatory account of internal structure
• On the Expressiveness of Symmetric Communication
• 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