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