Open Multiparty Interaction

DOI10.1007/978-3-642-37635-1_1MaRDI QIDQ2848868zbMATH OpenOpenAlexFDO

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

(9)

• A formal approach to open multiparty interactions
• A process algebraic approach to reaction systems
• The \texttt{link}-calculus for open multiparty interactions
• Modelling patterns of gene regulation in the bond-calculus
• 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
• A comprehensive study of the complexity of multiparty interaction
• Algorithms and Data Structures

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)