Network-conscious -calculus -- a model of Pastry
DOI10.1016/J.ENTCS.2015.04.002zbMATH Open1342.68236OpenAlexW1963833227WikidataQ113317812 ScholiaQ113317812MaRDI QIDQ530841FDOQ530841
Authors: Ugo Montanari, Matteo Sammartino
Publication date: 1 August 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.04.002
Recommendations
- Network Conscious π-calculus: A Concurrent Semantics
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- A Distributed Pi-Calculus
- On hierarchical communication topologies in the \(\pi\)-calculus
- Interpreting a Finitary Pi-calculus in Differential Interaction Nets
- Interpreting a finitary pi-calculus in differential interaction nets
- Towards Certifying Network Calculus
- The \(\pi\)-calculus: A theory of mobile processes
- Encoding distributed areas and local communication into the \(\pi \)-calculus
- scientific article; zbMATH DE number 1104400
verificationcoalgebrapresheafprocess calculusoverlay networkdistributed hash tablepeer-to-peer systemHD-automatonnetwork-conscious pi-calculusPastryrouting convergence
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Universal coalgebra: A theory of systems
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
- A calculus of mobile processes. II
- A calculus of communicating systems
- Resource access control in systems of mobile agents
- Title not available (Why is that?)
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- Basic observables for a calculus for global computing
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- Families of symmetries as efficient models of resource binding
- A calculus for costed computations
- Network Conscious π-calculus: A Concurrent Semantics
- Counting the cost in the picalculus (extended abstract)
- A theory of system behaviour in the presence of node and link failure
Cited In (4)
Uses Software
This page was built for publication: Network-conscious \(\pi\)-calculus -- a model of Pastry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q530841)