Causally consistent reversible choreographies: a monitors-as-memories approach

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]

Authors

Claudio Antares Mezzina

This author has not been identified. Look up 'Claudio Antares Mezzina' in Google

Jorge A. Pérez

This author has not been identified. Look up 'Jorge A. Pérez' in Google