An axiomatic theory for reversible computation
From MaRDI portal
Publication:6493421
DOI10.1145/3648474MaRDI QIDQ6493421
Iain Phillips, Ivan Lanese, Irek Ulidowski
Publication date: 26 April 2024
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
reversible computationcausal livenesscausal safetylabelled transition system with independencecausal consistency
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\)
- Cauder: a causal-consistent reversible debugger for Erlang
- A theory of reversibility for Erlang
- On reversibility and broadcast
- Reversible occurrence nets and causal reversible prime event structures
- Concurrencies in reversible concurrent calculi
- Reversibility in Erlang: imperative constructs
- Controlled reversibility in communicating reaction systems
- The reversible temporal process language
- An axiomatic approach to reversible computation
- A stable non-interleaving early operational semantics for the pi-calculus
- Reversing algebraic process calculi
- Reversibility and Asymmetric Conflict in Event Structures
- General Reversibility
- Reversibility and Models for Concurrency
- Controlling Reversibility in Higher-Order Pi
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Controlled Reversibility and Compensations
- Irreversibility and Heat Generation in the Computing Process
- Explicit Identifiers and Contexts in Reversible Concurrent Calculus
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
- CONCUR 2005 – Concurrency Theory
- Foundations of Software Science and Computation Structures
- Event structures for the reversible early internal \(\pi\)-calculus
- Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
This page was built for publication: An axiomatic theory for reversible computation
