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