A network-conscious \(\pi\)-calculus and its coalgebraic semantics

DOI10.1016/j.tcs.2014.03.009zbMath1342.68234OpenAlexW2016755038MaRDI QIDQ2253186

Matteo Sammartino, Ugo Montanari

Publication date: 25 July 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.03.009

zbMATH Keywords

coalgebras\(\pi\)-calculuspresheavesconcurrent semanticsnetwork awareness

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Exploring nominal cellular automata ⋮ Network-conscious \(\pi\)-calculus -- a model of Pastry ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

Uses Software

• KLAIM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
• About permutation algebras, (pre)sheaves and named sets
• A theory of system behaviour in the presence of node and link failure
• A calculus of communicating systems
• Sheaves in geometry and logic: a first introduction to topos theory
• A calculus of mobile processes. II
• An abstract machine for concurrent modular systems: CHARM
• 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
• Basic observables for a calculus for global computing
• A presheaf environment for the explicit fusion calculus
• On the expressive power of \textsc{Klaim}-based calculi
• Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
• Families of Symmetries as Efficient Models of Resource Binding
• A calculus for costed computations
• Relating coalgebraic notions of bisimulation
• Network Conscious π-calculus: A Concurrent Semantics
• Counting the Cost in the Picalculus (Extended Abstract)
• A Categorical Model of the Fusion Calculus
• Concurrent and Located Synchronizations in π-Calculus

This page was built for publication: A network-conscious \(\pi\)-calculus and its coalgebraic semantics