<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Concurrent flexible reversibility"^^ . "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."^^ . "2013" . "7792" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Claudio Antares"^^ . "Mezzina"^^ . "Claudio Antares Mezzina"^^ . . "Alan"^^ . "Schmitt"^^ . "Alan Schmitt"^^ . . "Jean-Bernard"^^ . "Stefani"^^ . "Jean-Bernard Stefani"^^ . . "Michael"^^ . "Lienhardt"^^ . "Michael Lienhardt"^^ . . "Ivan"^^ . "Lanese"^^ . "Ivan Lanese"^^ . . . . . "HTML Summary of #2494 \n\nConcurrent flexible reversibility\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .