eprintid: 3661
rev_number: 10
eprint_status: archive
userid: 67
dir: disk0/00/00/36/61
datestamp: 2017-04-28 09:28:28
lastmod: 2017-04-28 09:28:28
status_changed: 2017-04-28 09:28:28
type: article
metadata_visibility: show
creators_name: Giachino, Elena
creators_name: Lanese, Ivan
creators_name: Mezzina, Claudio Antares
creators_name: Tiezzi, Francesco
creators_id: 
creators_id: 
creators_id: claudio.mezzina@imtlucca.it
creators_id: 
title: Causal-consistent rollback in a tuple-based language
ispublished: pub
subjects: Q1
subjects: QA76
divisions: CSA
full_text_status: public
keywords: Reversible computation; Process algebra; Tuple space; Klaim
date: 2017
date_type: published
publication: Journal of Logical and Algebraic Methods in Programming
volume: 88
publisher: Elsevier
pagerange: 99-120
id_number: 10.1016/j.jlamp.2016.09.003
refereed: TRUE
issn: 2352-2208
official_url: http://dx.doi.org/10.1016/j.jlamp.2016.09.003
citation:   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)  
document_url: http://eprints.imtlucca.it/3661/1/main.pdf