TY  - CHAP
SP  - 370
EP  - 390
PB  - Springer
T3  - Lecture Notes in Computer Science
UR  - http://dx.doi.org/10.1007/978-3-642-37036-6_21
AV  - none
N2  - 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.
T2  - Programming Languages and Systems
A1  - Lanese, Ivan
A1  - Lienhardt, Michael
A1  - Mezzina, Claudio Antares
A1  - Schmitt, Alan
A1  - Stefani, Jean-Bernard
N1  - 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
TI  - Concurrent flexible reversibility
SN  - 978-3-642-37036-6
Y1  - 2013///
ID  - eprints2494
ER  -