TY  - CONF
UR  - http://dl.acm.org/citation.cfm?id=3131851
TI  - Causally consistent reversible choreographies: a monitors-as-memories approach
AV  - public
Y1  - 2017///
SP  - 127
N2  - Under a reversible semantics, computation steps can be undone. This paper addresses the integration of reversible semantics into a process model of multiparty protocols (choreographies). Building upon the monitors-as-memories approach that we developed in prior work for reversible binary protocols, we present a reversible process framework for multiparty communication, which improves on prior models by seamlessly integrating asynchrony, decoupled rollbacks, and process passing. As main technical result, we prove that our multiparty, reversible semantics is causally-consistent.
M2  - Namur, Belgium
A1  - Mezzina, Claudio Antares
A1  - Pérez, Jorge A.
SN  - 978-1-4503-5291-8
PB  - ACM
T2  - Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017
EP  - 138
ID  - eprints3841
ER  -