Reversible computing allows one to execute programs both in the stan- dard, forward direction, and backward, going back to past states. In a con- current scenario, the correct notion of reversibility is causal-consistent re- versibility: 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.
Causal-Consistent Reversibility / Lanese Ivan; Mezzina Claudio Antares; Tiezzi Francesco. - In: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE. - ISSN 0252-9742. - STAMPA. - 114:(2014).
Causal-Consistent Reversibility
Tiezzi Francesco
2014
Abstract
Reversible computing allows one to execute programs both in the stan- dard, forward direction, and backward, going back to past states. In a con- current scenario, the correct notion of reversibility is causal-consistent re- versibility: 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.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
