Checkpoint/rollback vs causally-consistent reversibility
From MaRDI portal
Publication:1796395
DOI10.1007/978-3-319-99498-7_20OpenAlexW2888053017MaRDI QIDQ1796395
Jean-Bernard Stefani, Martin Vassor
Publication date: 17 October 2018
Full work available at URL: https://hal.inria.fr/hal-01953756/file/RC2018Final.pdf
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)
Related Items (9)
Towards Bridging Time and Causal Reversibility ⋮ Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach ⋮ A parametric framework for reversible \(\pi\)-calculi ⋮ Reversibility and Predictions ⋮ Branching bisimulation semantics enables noninterference analysis of reversible systems ⋮ Causal reversibility for timed process calculi with lazy/eager durationless actions and time additivity ⋮ Causal reversibility implies time reversibility ⋮ Model checking reversible systems: forwardly ⋮ Unnamed Item
This page was built for publication: Checkpoint/rollback vs causally-consistent reversibility
