Open Multiparty Interaction
From MaRDI portal
Publication:2848868
DOI10.1007/978-3-642-37635-1_1zbMath1394.68244MaRDI 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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
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