Network Conscious π-calculus: A Concurrent Semantics
From MaRDI portal
Publication:3178290
DOI10.1016/j.entcs.2012.08.019zbMath1342.68235OpenAlexW2152864408WikidataQ113318071 ScholiaQ113318071MaRDI QIDQ3178290
Ugo Montanari, Matteo Sammartino
Publication date: 8 July 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.08.019
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
Network Conscious π-calculus: A Concurrent Semantics ⋮ Symbolic Semantics for Multiparty Interactions in the Link-Calculus ⋮ The \texttt{link}-calculus for open multiparty interactions ⋮ A formal approach to open multiparty interactions ⋮ A constraint-based language for multiparty interactions ⋮ A network-conscious \(\pi\)-calculus and its coalgebraic semantics ⋮ Network-conscious \(\pi\)-calculus -- a model of Pastry
Uses Software
Cites Work
- Symmetries, local names and dynamic (de)-allocation of names
- A theory of system behaviour in the presence of node and link failure
- A calculus of communicating systems
- A calculus of mobile processes. I
- A calculus of mobile processes. II
- An abstract machine for concurrent modular systems: CHARM
- Resource access control in systems of mobile agents
- Basic observables for a calculus for global computing
- On the expressive power of \textsc{Klaim}-based calculi
- Families of Symmetries as Efficient Models of Resource Binding
- A calculus for costed computations
- Network Conscious π-calculus: A Concurrent Semantics
- A Category of Explicit Fusions
- Counting the Cost in the Picalculus (Extended Abstract)
- A Categorical Model of the Fusion Calculus
- Concurrent and Located Synchronizations in π-Calculus
This page was built for publication: Network Conscious π-calculus: A Concurrent Semantics
