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

DOI10.1016/J.IC.2020.104587MaRDI QIDQ2216110zbMATH OpenOpenAlexFDO

Authors Chiara Bodei, Linda Brodo, Roberto Bruni

Publication date 15 December 2020

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

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

zbMATH Keywords

bisimilarity as a congruencemobilitymultiparty interactionopen interaction

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)

Recommendations

• Open Multiparty Interaction
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• A formal approach to open multiparty interactions
• A calculus of mobile processes. I
• A flat process calculus for nested membrane interactions

Cites work

• A flat process calculus for nested membrane interactions
• A formal approach to open multiparty interactions
• An operational Petri net semantics for \(\text{A}^{2}\text{CCS}\)
• Brane Calculi
• Dynamic role authorization in multiparty conversations
• Encoding mobile ambients into the \(\pi \)-calculus
• scientific article; zbMATH DE number 1231684 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• scientific article; zbMATH DE number 2059568 (Why is no real title available?)
• Mobile ambients
• Network Conscious π-calculus: A Concurrent Semantics
• On the expressiveness of -calculus for encoding mobile ambients
• On the expressiveness of the -calculus and the mobile ambients
• Open Multiparty Interaction
• Parametric synchronizations in mobile nominal calculi
• Reaction systems
• Reo: a channel-based coordination model for component composition
• Static Detection of Logic Flaws in Service-Oriented Applications
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• Synchronization trees
• Verification techniques for a network algebra

Cited in

(5)

• A formal approach to open multiparty interactions
• A logical and graphical framework for reaction systems
• A process algebraic approach to reaction systems
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• A non-interleaving process calculus for multi-party synchronisation

Describes a project that uses

Uses Software

• Reo

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2216110)