%0 Journal Article
%@ 2352-2208
%A Giachino, Elena
%A Lanese, Ivan
%A Mezzina, Claudio Antares
%A Tiezzi, Francesco
%D 2017
%F eprints:3661
%I Elsevier
%J Journal of Logical and Algebraic Methods in Programming
%K Reversible computation; Process algebra; Tuple space; Klaim
%P 99-120
%T Causal-consistent rollback in a tuple-based language
%U http://eprints.imtlucca.it/3661/
%V 88