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

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)

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)

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

Uses Software

• KLAIM
• Pastry

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)