An axiomatic approach to reversible computation

DOI10.1007/978-3-030-45231-5_23OpenAlexW3016916883MaRDI QIDQ2200840

Irek Ulidowski, Ivan Lanese, Iain Phillips

Publication date: 23 September 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-45231-5_23

zbMATH Keywords

reversible computationcausal livenesscausal safetylabelled transition system with independence

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items

Modelling of DNA mismatch repair with a reversible process calculus ⋮ Controlled reversibility in communicating reaction systems ⋮ The reversible temporal process language ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ Replications in reversible concurrent calculi ⋮ revTPL: The Reversible Temporal Process Language ⋮ The correctness of concurrencies in (reversible) concurrent calculi ⋮ Reversible debugging of concurrent Erlang programs: supporting imperative primitives ⋮ An axiomatic approach to reversible computation ⋮ Unnamed Item ⋮ Explicit Identifiers and Contexts in Reversible Concurrent Calculus ⋮ Unnamed Item ⋮ Event structures for the reversible early internal \(\pi\)-calculus ⋮ Unnamed Item ⋮ Concurrencies in reversible concurrent calculi ⋮ Reversibility in Erlang: imperative constructs ⋮ Towards causal-consistent reversibility of imperative concurrent programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Causal-consistent rollback in a tuple-based language
• Models for concurrency: Towards a classification
• Reversibility and asymmetric conflict in event structures
• The difference between splitting in \(n\) and \(n+1\)
• A theory of reversibility for Erlang
• On reversibility and broadcast
• An axiomatic approach to reversible computation
• Reversing algebraic process calculi
• General Reversibility
• Reversibility and Models for Concurrency
• Controlling Reversibility in Higher-Order Pi
• Reversible Computation vs. Reversibility in Petri Nets
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Irreversibility and Heat Generation in the Computing Process
• A Compositional Semantics for the Reversible p-Calculus
• CONCUR 2004 - Concurrency Theory
• Logical Reversibility of Computation
• CONCUR 2005 – Concurrency Theory
• Foundations of Software Science and Computation Structures