eprintid: 2494
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/24/94
datestamp: 2015-01-16 08:44:12
lastmod: 2015-01-16 08:44:12
status_changed: 2015-01-16 08:44:12
type: book_section
metadata_visibility: show
creators_name: Lanese, Ivan
creators_name: Lienhardt, Michael
creators_name: Mezzina, Claudio Antares
creators_name: Schmitt, Alan
creators_name: Stefani, Jean-Bernard
creators_id: 
creators_id: 
creators_id: claudio.mezzina@imtlucca.it
creators_id: 
creators_id: 
title: Concurrent flexible reversibility
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings
abstract: Concurrent reversibility has been studied in different areas, such as biological or dependable distributed systems. However, only “rigid” reversibility has been considered, allowing to go back to a past state and restart the exact same computation, possibly leading to divergence. In this paper, we present croll-π, a concurrent calculus featuring flexible reversibility, allowing the specification of alternatives to a computation to be used upon rollback. Alternatives in croll-π are attached to messages. We show the robustness of this mechanism by encoding more complex idioms for specifying flexible reversibility, and we illustrate the benefits of our approach by encoding a calculus of communicating transactions.
date: 2013
date_type: published
series: Lecture Notes in Computer Science
number: 7792
publisher: Springer
pagerange: 370-390
id_number: 10.1007/978-3-642-37036-6_21
refereed: TRUE
isbn: 978-3-642-37036-6
book_title: Programming Languages and Systems
official_url: http://dx.doi.org/10.1007/978-3-642-37036-6_21
projects: This work has been partially supported by the French National Research Agency (ANR), projects REVER ANR 11 INSE 007 and PiCoq ANR 10 BLAN 0305
citation:   Lanese, Ivan and Lienhardt, Michael and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard  Concurrent flexible reversibility.   In:  Programming Languages and Systems.   Lecture Notes in Computer Science  (7792).  Springer, pp. 370-390.  ISBN 978-3-642-37036-6      (2013)