Elena Giachino Ivan Lanese Claudio Antares Mezzina Francesco Tiezzi 0001 Causal-consistent rollback in a tuple-based language. 99-120 2017 88 J. Log. Algebraic Methods Program. https://doi.org/10.1016/j.jlamp.2016.09.003 db/journals/jlp/jlp88.html#GiachinoLMT17
