@article{eprints3661,
         journal = {Journal of Logical and Algebraic Methods in Programming},
            year = {2017},
          author = {Elena Giachino and Ivan Lanese and Claudio Antares Mezzina and Francesco Tiezzi},
           title = {Causal-consistent rollback in a tuple-based language},
          volume = {88},
       publisher = {Elsevier},
           pages = {99--120},
        keywords = {Reversible computation; Process algebra; Tuple space; Klaim},
             url = {http://eprints.imtlucca.it/3661/}
}