Rigid Families for the Reversible $$\pi $$ -Calculus

DOI10.1007/978-3-319-40578-0_1zbMath1476.68168OpenAlexW2490613115MaRDI QIDQ3186581

Jean Krivine, Daniele Varacca, Ioana Cristescu

Publication date: 10 August 2016

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40578-0_1

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (7)

Towards a categorical representation of reversible event structures ⋮ Event structure semantics for multiparty sessions ⋮ Static versus dynamic reversibility in CCS ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices

Cites Work

• Strategies as concurrent processes
• Rigid Families for CCS and the $$\pi $$ -calculus
• Reversibility and Models for Concurrency
• Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Refinement of actions and equivalence notions for concurrent systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Rigid Families for the Reversible $$\pi $$ -Calculus