Causal-Consistent Reversibility - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Bulletin- European Association for Theoretical Computer Science Année : 2014

Causal-Consistent Reversibility

Résumé

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.
Fichier principal
Vignette du fichier
Survey on Causal-Consistent Reversibility.pdf (177.04 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01089350 , version 1 (01-12-2014)

Identifiants

  • HAL Id : hal-01089350 , version 1

Citer

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

Collections

INRIA INRIA2 ANR
168 Consultations
485 Téléchargements

Partager

Gmail Facebook X LinkedIn More