%I Elsevier
%L eprints3661
%K Reversible computation; Process algebra; Tuple space; Klaim
%D 2017
%A Elena Giachino
%A Ivan Lanese
%A Claudio Antares Mezzina
%A Francesco Tiezzi
%V 88
%J Journal of Logical and Algebraic Methods in Programming
%P 99-120
%T Causal-consistent rollback in a tuple-based language
%R 10.1016/j.jlamp.2016.09.003