Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
From MaRDI portal
Publication:6135754
DOI10.46298/lmcs-19(2:6)2023arXiv2205.01420OpenAlexW4366984050MaRDI QIDQ6135754
Claudio Antares Mezzina, Marco Bernardo
Publication date: 26 August 2023
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2205.01420
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notes on Landauer's principle, reversible computation, and Maxwell's demon
- Bisimulation through probabilistic testing
- An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
- Turning back time in Markovian process algebra.
- Cauder: a causal-consistent reversible debugger for Erlang
- Reversing steps in membrane systems computations
- A theory of reversibility for Erlang
- Physical foundations of Landauer's principle
- Checkpoint/rollback vs causally-consistent reversibility
- Static versus dynamic reversibility in CCS
- An axiomatic approach to reversible computation
- Reversing algebraic process calculi
- Quantitative Analysis of Concurrent Reversible Computations
- A Survey of Markovian Behavioral Equivalences
- 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
- A formal approach to undo operations in programming languages
- Towards Bridging Time and Causal Reversibility
- Towards a Unified Language Architecture for Reversible Object-Oriented Programming
- A Compositional Semantics for the Reversible p-Calculus
- CONCUR 2004 - Concurrency Theory
- Concurrent Flexible Reversibility
- Logical Reversibility of Computation
- Concolic Execution in Functional Programming by Program Instrumentation
- CONCUR 2005 – Concurrency Theory
- An algorithm for the formal reduction of differential equations as over-approximations
This page was built for publication: Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
