A parametric framework for reversible \(\pi\)-calculi

DOI10.1016/J.IC.2020.104644zbMath1496.68241arXiv1807.11800OpenAlexW3105151867MaRDI QIDQ2216133

Nobuko Yoshida, Iain Phillips, Doriana Medić, Claudio Antares Mezzina

Publication date: 15 December 2020

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1807.11800

zbMATH Keywords

\(\pi\)-calculuscausal semanticscausally consistent reversibility

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 (7)

The reversible temporal process language ⋮ revTPL: The Reversible Temporal Process Language ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Static versus dynamic reversibility in CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Unnamed Item ⋮ Concurrencies in reversible concurrent calculi

Uses Software

• CauDEr

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• A fully abstract semantics for causality in the \(\pi\)-calculus
• A calculus of communicating systems
• An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
• Non-interleaving semantics for mobile processes
• GSOS and finite labelled transition systems
• Cauder: a causal-consistent reversible debugger for Erlang
• On reversibility and broadcast
• Checkpoint/rollback vs causally-consistent reversibility
• Towards a formal account for software transactional memory
• Reversing algebraic process calculi
• Rigid Families for CCS and the $$\pi $$ -calculus
• Modelling of Bonding with Processes and Events
• A hierarchy of reverse bisimulations on stable configuration structures
• Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
• Psi-calculi: a framework for mobile processes with nominal data and logic
• Controlling Reversibility in Higher-Order Pi
• On the Statistical Thermodynamics of Reversible Communicating Processes
• Nominal SOS
• Static VS Dynamic Reversibility in CCS
• Reversing Higher-Order Pi
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Logical Reversibility of Computation
• A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus
• CONCUR 2005 – Concurrency Theory

This page was built for publication: A parametric framework for reversible \(\pi\)-calculi