The \texttt{link}-calculus for open multiparty interactions
From MaRDI portal
Publication:2216110
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
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
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
