Network-conscious -calculus -- a model of Pastry

DOI10.1016/J.ENTCS.2015.04.002MaRDI QIDQ530841zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 2080852 (Why is no real title available?)
• A calculus for costed computations
• A calculus of communicating systems
• A calculus of mobile processes. II
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• A theory of system behaviour in the presence of node and link failure
• Basic observables for a calculus for global computing
• Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
• Counting the cost in the picalculus (extended abstract)
• Families of symmetries as efficient models of resource binding
• Network Conscious π-calculus: A Concurrent Semantics
• Resource access control in systems of mobile agents
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Universal coalgebra: A theory of systems

Cited in

(4)

• A calculus of branching processes
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• Global Computing
• Network Conscious π-calculus: A Concurrent Semantics

Describes a project that uses

Uses Software

• Pastry
• KLAIM

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)