Causal-consistent rollback in a tuple-based language

Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi. Causal-consistent rollback in a tuple-based language. Journal of Logic and Algebraic Programming, 88:99-120, 2017. [doi]

Abstract

Abstract is missing.