Open Multiparty Interaction

DOI10.1007/978-3-642-37635-1_1zbMATH Open1394.68244OpenAlexW1439164488MaRDI QIDQ2848868FDOQ2848868

Authors: Chiara Bodei, Linda Brodo, Roberto Bruni 

Publication date: 13 September 2013

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37635-1_1

Recommendations

• A formal approach to open multiparty interactions
• Multiparty Interactive Communication with Private Channels
• On the expressiveness of multiparty sessions
• Interactive coding for multiparty protocols
• Multiparty session actors
• Multiparty session nets

Mathematics Subject Classification ID

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

Cited In (8)

• A formal approach to open multiparty interactions
• Algorithms and Data Structures
• A constraint-based language for multiparty interactions
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• On the expressiveness of π-calculus for encoding mobile ambients
• The \texttt{link}-calculus for open multiparty interactions
• Modelling patterns of gene regulation in the bond-calculus
• A process algebraic approach to reaction systems

This page was built for publication: Open Multiparty Interaction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848868)