Event Structure Semantics of Parallel Extrusion in the Pi-Calculus

DOI10.1007/978-3-642-28729-9_15zbMath1352.68179OpenAlexW137641731MaRDI QIDQ2892773

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)

Related Items (19)

Reversibility in the higher-order \(\pi\)-calculus ⋮ A Verification Technique for Reversible Process Algebra ⋮ Rigid Families for the Reversible $$\pi $$ -Calculus ⋮ The true concurrency of differential interaction nets ⋮ A stable non-interleaving early operational semantics for the pi-calculus ⋮ Event structure semantics for multiparty sessions ⋮ Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ The \(C_\pi\)-calculus: a model for confidential name passing ⋮ A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus ⋮ Static versus dynamic reversibility in CCS ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Concurrent semantics for fusions: weak prime domains and connected event structures ⋮ Dynamic Causality in Event Structures ⋮ Minimisation of event structures

This page was built for publication: Event Structure Semantics of Parallel Extrusion in the Pi-Calculus