Network-conscious \(\pi\)-calculus -- a model of Pastry
type: Item
instance of: scholarly article
title: Network-conscious \(\pi\)-calculus -- a model of Pastry
zbMATH Open document ID: 1342.68236
author: Ugo Montanari
author: Matteo Sammartino
publication date: 2016-08-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6608301
zbMATH Keywords: peer-to-peer system
zbMATH Keywords: overlay network
zbMATH Keywords: distributed hash table
zbMATH Keywords: Pastry
zbMATH Keywords: verification
zbMATH Keywords: routing convergence
zbMATH Keywords: process calculus
zbMATH Keywords: network-conscious pi-calculus
zbMATH Keywords: presheaf
zbMATH Keywords: coalgebra
zbMATH Keywords: HD-automaton
Wikidata QID: Q113317812
describes a project that uses: KLAIM
describes a project that uses: Pastry
MaRDI profile type: Publication
full work available at URL: j.entcs.2015.04.002
OpenAlex ID: W1963833227
cites work: Families of symmetries as efficient models of resource binding
cites work: Basic observables for a calculus for global computing
cites work: Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types
cites work: A theory of system behaviour in the presence of node and link failure
cites work: A calculus for costed computations
cites work: Counting the Cost in the Picalculus (Extended Abstract)
cites work: Resource access control in systems of mobile agents
cites work: A calculus of communicating systems
cites work: A calculus of mobile processes. II
cites work: Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
cites work: Network Conscious π-calculus: A Concurrent Semantics
cites work: A network-conscious \(\pi\)-calculus and its coalgebraic semantics
cites work: Q4473888
cites work: Universal coalgebra: A theory of systems
DOI: 10.1016/J.ENTCS.2015.04.002
Recommended article: Network Conscious π-calculus: A Concurrent Semantics
Recommended article: A network-conscious \(\pi\)-calculus and its coalgebraic semantics
Recommended article: A Distributed Pi-Calculus
Recommended article: On Hierarchical Communication Topologies in the $$\pi $$ -calculus
Recommended article: Interpreting a Finitary Pi-calculus in Differential Interaction Nets
Recommended article: Interpreting a finitary pi-calculus in differential interaction nets
Recommended article: Towards Certifying Network Calculus
Recommended article: The \(\pi\)-calculus: A theory of mobile processes
Recommended article: Encoding Distributed Areas and Local Communication into the π-Calculus
Recommended article: Q4370286
description: scientific article; zbMATH DE number 6608301