eprintid: 2490
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/24/90
datestamp: 2015-01-15 13:15:40
lastmod: 2015-01-15 13:15:40
status_changed: 2015-01-15 13:15:40
type: book_section
metadata_visibility: show
creators_name: Lanese, Ivan
creators_name: Mezzina, Claudio Antares
creators_name: Stefani, Jean-Bernard
creators_id: 
creators_id: claudio.mezzina@imtlucca.it
creators_id: 
title: Controlled reversibility and compensations
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers
abstract: In this paper we report the main ideas of an ongoing thread of research that aims at exploiting reversibility mechanisms to define programming abstractions for dependable distributed systems. In particular, we discuss the issues posed by concurrency in the definition of controlled forms of reversibility. We also discuss the need of introducing compensations to deal with irreversible actions and to avoid to repeat past errors.
date: 2013
date_type: published
series: Lecture Notes in Computer Science
number: 7581
publisher: Springer
pagerange: 233-240
id_number: 10.1007/978-3-642-36315-3_19
refereed: TRUE
isbn: 978-3-642-36315-3
book_title: Reversible Computation
official_url: http://dx.doi.org/10.1007/978-3-642-36315-3_19
projects: This work has been partially supported by the French National Research Agency (ANR), project REVER n. ANR 11 INSE 007
citation:   Lanese, Ivan and Mezzina, Claudio Antares and Stefani, Jean-Bernard  Controlled reversibility and compensations.   In:  Reversible Computation.   Lecture Notes in Computer Science  (7581).  Springer, pp. 233-240.  ISBN 978-3-642-36315-3      (2013)