Open Multiparty Interaction

DOI10.1007/978-3-642-37635-1_1MaRDI QIDQ2848868zbMATHOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

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

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)