Event structure semantics of parallel extrusion in the pi-calculus

DOI10.1007/978-3-642-28729-9_15MaRDI QIDQ2892773zbMATH OpenOpenAlexFDO

Authors Silvia Crafa, Daniele Varacca, Nobuko Yoshida

Publication date 22 June 2012

Published in Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28729-9_15

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Compositional Event Structure Semantics for the Internal π-Calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• A stable non-interleaving early operational semantics for the pi-calculus
• Probabilistic -calculus and event structures
• Event Structure Semantics for Nominal Calculi

Cited in

(26)

• The \(C_\pi\)-calculus: a model for confidential name passing
• Static versus dynamic reversibility in CCS
• Concurrent semantics for fusions: weak prime domains and connected event structures
• Minimisation of event structures
• A parametric framework for reversible \(\pi\)-calculi
• A stable non-interleaving early operational semantics for the pi-calculus
• Reversibility in the higher-order \(\pi\)-calculus
• Event structure semantics for multiparty sessions
• Typed event structures and the \(\pi\)-calculus (extended abstract)
• A truly concurrent game model of the asynchronous -calculus
• Rigid families for the reversible -calculus
• scientific article; zbMATH DE number 7447776 (Why is no real title available?)
• A verification technique for reversible process algebra
• Compositional Event Structure Semantics for the Internal π-Calculus
• The true concurrency of differential interaction nets
• A stable non-interleaving early operational semantics for the pi-calculus
• Event Structure Semantics for Nominal Calculi
• Event structure semantics of (controlled) reversible CCS
• Event structures for the reversible early internal \(\pi\)-calculus
• Excommunication: transforming \(\pi \)-calculus specifications to remove internal communication
• Bisimulations respecting duration and causality for the non-interleaving applied \(\pi\)-calculus
• Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures
• Global types and event structure semantics for asynchronous multiparty sessions
• Left-linear rewriting in adhesive categories
• Choice trees: representing and reasoning about nondeterministic, recursive, and impure programs in Rocq
• Typed event structures and the linear \(\pi \)-calculus

This page was built for publication: Event structure semantics of parallel extrusion in the pi-calculus

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