A Safety and Liveness Theory for Total Reversibility (Extended Abstract). Mezzina, C. A. & Koutavas, V. CoRR, 2016.
Paper bibtex @article{DBLP:journals/corr/MezzinaK16,
author = {Claudio Antares Mezzina and
Vasileios Koutavas},
title = {A Safety and Liveness Theory for Total Reversibility (Extended Abstract)},
journal = {CoRR},
volume = {abs/1604.05555},
year = {2016},
url = {http://arxiv.org/abs/1604.05555},
archivePrefix = {arXiv},
eprint = {1604.05555},
timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
biburl = {http://dblp.org/rec/bib/journals/corr/MezzinaK16},
bibsource = {dblp computer science bibliography, http://dblp.org}
}