%A Ivan Lanese
%A Michael Lienhardt
%A Claudio Antares Mezzina
%A Alan Schmitt
%A Jean-Bernard Stefani
%S Lecture Notes in Computer Science
%I Springer
%R 10.1007/978-3-642-37036-6_21
%T Concurrent flexible reversibility
%X 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.
%D 2013
%O 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
%B Programming Languages and Systems
%L eprints2494
%P 370-390
%N 7792