Claudio Antares Mezzina, Jorge A. Pérez. Causally consistent reversible choreographies: a monitors-as-memories approach. In Wim Vanhoof, Brigitte Pientka, editors, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. pages 127-138, ACM, 2017. [doi]
Abstract is missing.