Giachino, Elena and Lanese, Ivan and Mezzina, Claudio Antares and Tiezzi, Francesco Causal-consistent rollback in a tuple-based language. Journal of Logical and Algebraic Methods in Programming, 88. pp. 99-120. ISSN 2352-2208 (2017)