Causal-Consistent Reversibility

Abstract : Reversible computing allows one to execute programs both in the standard, forward direction, and backward, going back to past states. In a concurrent scenario, the correct notion of reversibility is causal-consistent reversibility: any action can be undone, provided that all its consequences (if any) are undone beforehand. In this paper we present an overview of the main approaches, results, and applications of causal-consistent reversibility.
Complete list of metadatas

Cited literature [53 references]  Display  Hide  Download

https://hal.inria.fr/hal-01089350
Contributor : Ivan Lanese <>
Submitted on : Monday, December 1, 2014 - 3:31:50 PM
Last modification on : Tuesday, March 5, 2019 - 1:50:07 PM
Long-term archiving on : Monday, March 2, 2015 - 1:34:31 PM

File

Survey on Causal-Consistent Re...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01089350, version 1

Collections

Citation

Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-Consistent Reversibility. Bulletin- European Association for Theoretical Computer Science, European Association for Theoretical Computer Science; 1999, 2014, 114, pp.17. ⟨hal-01089350⟩

Share

Metrics

Record views

236

Files downloads

352