Reversing Higher-Order Pi

DOI10.1007/978-3-642-15375-4_33zbMath1287.68137OpenAlexW1515127800MaRDI QIDQ3584950

Jean-Bernard Stefani, Claudio Antares Mezzina, Ivan Lanese

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_33

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

Reversibility in the higher-order \(\pi\)-calculus ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Towards Bridging Time and Causal Reversibility ⋮ A Verification Technique for Reversible Process Algebra ⋮ A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway ⋮ Controlled Reversibility and Compensations ⋮ Reversible client/server interactions ⋮ Modelling of DNA mismatch repair with a reversible process calculus ⋮ Rigid Families for the Reversible $$\pi $$ -Calculus ⋮ A Calculus for Local Reversibility ⋮ Reversing Single Sessions ⋮ Reversible Computation vs. Reversibility in Petri Nets ⋮ Contextual equivalences in configuration structures and reversibility ⋮ Reversible computation in nets with bonds ⋮ Reversibility and asymmetric conflict in event structures ⋮ Towards a categorical representation of reversible event structures ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Reversing Steps in Petri Nets ⋮ Unnamed Item ⋮ Specifying reversibility with \(\mathrm{TLA}^+\) ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Reversible session-based pi-calculus ⋮ Mutual exclusion and reversibility in reaction systems ⋮ Causal-consistent rollback in a tuple-based language ⋮ Reversibility and Predictions ⋮ cJoin: Join with communicating transactions ⋮ Static versus dynamic reversibility in CCS ⋮ Unnamed Item ⋮ Proof-relevant π-calculus: a constructive account of concurrency and causality ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Controlling Reversibility in Higher-Order Pi ⋮ Towards Modelling of Local Reversibility ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices ⋮ Investigating Reversibility of Steps in Petri Nets

This page was built for publication: Reversing Higher-Order Pi