relation: http://eprints.imtlucca.it/3661/
title: Causal-consistent rollback in a tuple-based language
creator: Giachino, Elena
creator: Lanese, Ivan
creator: Mezzina, Claudio Antares
creator: Tiezzi, Francesco
subject: Q Science (General)
subject: QA76 Computer software
publisher: Elsevier
date: 2017
type: Article
type: PeerReviewed
format: application/pdf
language: en
rights: cc_by_nc
identifier: http://eprints.imtlucca.it/3661/1/main.pdf
identifier:   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)  
relation: http://dx.doi.org/10.1016/j.jlamp.2016.09.003
relation: 10.1016/j.jlamp.2016.09.003