relation: http://eprints.imtlucca.it/2500/
title: Causal-consistent reversibility
creator: Lanese, Ivan
creator: Mezzina, Claudio Antares
creator: Tiezzi, Francesco
subject: QA75 Electronic computers. Computer science
description: 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.
publisher: European association for theorical computer science
date: 2014-10
type: Article
type: PeerReviewed
identifier:   Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco  Causal-consistent reversibility.  Bulletin of EATCS, 114.  pp. 1-19.       (2014)  
relation: http://eatcs.org/beatcs/index.php/beatcs/article/view/305/287