Open Multiparty Interaction

DOI10.1007/978-3-642-37635-1_1zbMath1394.68244OpenAlexW1439164488MaRDI QIDQ2848868

Chiara Bodei, Roberto Bruni, Linda Brodo

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)

Related Items (7)

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

This page was built for publication: Open Multiparty Interaction