TY  - JOUR
SP  - 99
Y1  - 2017///
A1  - Giachino, Elena
A1  - Lanese, Ivan
A1  - Mezzina, Claudio Antares
A1  - Tiezzi, Francesco
VL  - 88
PB  - Elsevier
EP  - 120
SN  - 2352-2208
UR  - http://dx.doi.org/10.1016/j.jlamp.2016.09.003
JF  - Journal of Logical and Algebraic Methods in Programming
KW  - Reversible computation; Process algebra; Tuple space; Klaim
AV  - public
TI  - Causal-consistent rollback in a tuple-based language
ID  - eprints3661
ER  -