Symbolic Semantics for Multiparty Interactions in the Link-Calculus

DOI10.1007/978-3-319-51963-0_6zbMath1433.68241OpenAlexW2569614957MaRDI QIDQ2971125

Linda Brodo, Carlos Olarte

Publication date: 4 April 2017

Published in: SOFSEM 2017: Theory and Practice of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-51963-0_6

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Slicing concurrent constraint programs ⋮ The \texttt{link}-calculus for open multiparty interactions ⋮ A formal approach to open multiparty interactions ⋮ A constraint-based language for multiparty interactions ⋮ A process algebraic approach to reaction systems

Cites Work

• Symbolic bisimulations
• Introduction to concurrency theory. Transition systems and CCS
• A calculus of communicating systems
• Open Multiparty Interaction
• Network Conscious π-calculus: A Concurrent Semantics
• A Compositional Approach to Performance Modelling
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Symbolic Semantics for Multiparty Interactions in the Link-Calculus