Network Conscious π-calculus: A Concurrent Semantics

DOI10.1016/J.ENTCS.2012.08.019MaRDI QIDQ3178290zbMATH OpenOpenAlexWikidataFDO

Authors Ugo Montanari, Matteo Sammartino

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

\(\pi\)-calculusconcurrent 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)

Recommendations

• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• Network-conscious -calculus -- a model of Pastry
• The buffered -calculus: a model for concurrent languages
• Concurrent nets: a study of prefixing in process calculi
• Concurrent nets: a study of prefixing in process calculi
• Concurrent and Located Synchronizations in π-Calculus
• From a concurrent λ-calculus to the π-calculus
• A propositional dynamic logic for concurrent programs based on the -calculus
• Proof-relevant \(\pi\)-calculus: a constructive account of concurrency and causality
• scientific article; zbMATH DE number 4092735

Cites work

• A calculus for costed computations
• A calculus of communicating systems
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• A categorical model of the fusion calculus
• A Category of Explicit Fusions
• A theory of system behaviour in the presence of node and link failure
• An abstract machine for concurrent modular systems: CHARM
• Basic observables for a calculus for global computing
• Concurrent and Located Synchronizations in π-Calculus
• Counting the cost in the picalculus (extended abstract)
• Families of symmetries as efficient models of resource binding
• Network Conscious π-calculus: A Concurrent Semantics
• On the expressive power of \textsc{Klaim}-based calculi
• Resource access control in systems of mobile agents
• Symmetries, local names and dynamic (de)-allocation of names

Cited in

(11)

• A formal approach to open multiparty interactions
• The \texttt{link}-calculus for open multiparty interactions
• A constraint-based language for multiparty interactions
• A network-conscious \(\pi\)-calculus and its coalgebraic semantics
• Symbolic Semantics for Multiparty Interactions in the Link-Calculus
• Network Conscious π-calculus: A Concurrent Semantics
• scientific article; zbMATH DE number 6519607 (Why is no real title available?)
• Network-conscious -calculus -- a model of Pastry
• Towards Certifying Network Calculus
• scientific article; zbMATH DE number 2242605 (Why is no real title available?)
• On the implementation of concurrent calculi in net calculi: two case studies

Describes a project that uses

Uses Software

• KLAIM

This page was built for publication: Network Conscious π-calculus: A Concurrent Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3178290)