Causal reversibility implies time reversibility

DOI10.1007/978-3-031-43835-6_19MaRDI QIDQ6546462

Claudio Antares Mezzina, Marco Bernardo, Andrea Marin, Claudio Sacerdoti Coen, Ivan Lanese, Sabina Rossi

Publication date: 29 May 2024

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Reversibility in the higher-order \(\pi\)-calculus
• Models for concurrency: Towards a classification
• The philosophers' process: An ergodic reversible nearest particle system
• Bisimulation through probabilistic testing
• Synchronization trees
• Cauder: a causal-consistent reversible debugger for Erlang
• Reversing steps in membrane systems computations
• A theory of reversibility for Erlang
• Checkpoint/rollback vs causally-consistent reversibility
• Reversibility in Erlang: imperative constructs
• An axiomatic approach to reversible computation
• On the relations between Markov chain lumpability and reversibility
• Reversing algebraic process calculi
• A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
• Reversing Higher-Order Pi
• Communicating Transactions
• Irreversibility and Heat Generation in the Computing Process
• Formal verification of parallel programs
• Exact and ordinary lumpability in finite Markov chains
• Matita Tutorial
• CONCUR 2004 - Concurrency Theory
• Concurrent Flexible Reversibility
• A Compositional Approach to Performance Modelling
• Logical Reversibility of Computation
• CONCUR 2005 – Concurrency Theory
• Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach

This page was built for publication: Causal reversibility implies time reversibility