TY  - JOUR
ID  - eprints2500
EP  - 19
VL  - 114
Y1  - 2014/10//
AV  - none
TI  - Causal-consistent reversibility
JF  - Bulletin of EATCS
UR  - http://eatcs.org/beatcs/index.php/beatcs/article/view/305/287
PB  - European association for theorical computer science
A1  - Lanese, Ivan
A1  - Mezzina, Claudio Antares
A1  - Tiezzi, Francesco
SP  - 1
N2  - 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.
ER  -