The \texttt{link}-calculus for open multiparty interactions

DOI10.1016/J.IC.2020.104587zbMath1496.68218OpenAlexW3022811924MaRDI QIDQ2216110

Linda Brodo, Roberto Bruni, Chiara Bodei

Publication date: 15 December 2020

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2020.104587

zbMATH Keywords

mobilitymultiparty interactionopen interactionbisimilarity as a congruence

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A logical and graphical framework for reaction systems ⋮ A process algebraic approach to reaction systems

Uses Software

• Reo

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic role authorization in multiparty conversations
• Parametric synchronizations in mobile nominal calculi
• Synchronization trees
• Mobile ambients
• A formal approach to open multiparty interactions
• Open Multiparty Interaction
• An Operational Petri Net Semantics for A2CCS
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• On the Expressiveness of the π-Calculus and the Mobile Ambients
• On the expressiveness of π-calculus for encoding mobile ambients
• Network Conscious π-calculus: A Concurrent Semantics
• Static Detection of Logic Flaws in Service-Oriented Applications
• Encoding Mobile Ambients into the π-Calculus
• A Flat Process Calculus for Nested Membrane Interactions
• Reo: a channel-based coordination model for component composition
• Verification Techniques for a Network Algebra
• Brane Calculi

This page was built for publication: The \texttt{link}-calculus for open multiparty interactions