Logo eprints

Causal-consistent rollback in a tuple-based language

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)

PDF - Submitted Version
Available under License Creative Commons Attribution Non-commercial.

Download (466kB) | Preview
Item Type: Article
Identification Number: 10.1016/j.jlamp.2016.09.003
Uncontrolled Keywords: Reversible computation; Process algebra; Tuple space; Klaim
Subjects: Q Science > Q Science (General)
Q Science > QA Mathematics > QA76 Computer software
Research Area: Computer Science and Applications
Depositing User: Claudio Antares Mezzina
Date Deposited: 28 Apr 2017 09:28
Last Modified: 28 Apr 2017 09:28
URI: http://eprints.imtlucca.it/id/eprint/3661

Actions (login required)

Edit Item Edit Item