Network-conscious \(\pi\)-calculus -- a model of Pastry

DOI10.1016/j.entcs.2015.04.002zbMath1342.68236OpenAlexW1963833227WikidataQ113317812 ScholiaQ113317812MaRDI QIDQ530841

Matteo Sammartino, Ugo Montanari

Publication date: 1 August 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2015.04.002

zbMATH Keywords

verificationcoalgebrapresheafprocess calculusoverlay networkdistributed hash tablepeer-to-peer systemHD-automatonnetwork-conscious pi-calculusPastryrouting convergence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A calculus of branching processes

Uses Software

• KLAIM
• Pastry

Cites Work

• Unnamed Item
• A theory of system behaviour in the presence of node and link failure
• A calculus of communicating systems
• A calculus of mobile processes. II
• Universal coalgebra: A theory of systems
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• Resource access control in systems of mobile agents
• 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)

This page was built for publication: Network-conscious \(\pi\)-calculus -- a model of Pastry