Claudio Antares Mezzina, Jorge A. Pérez
Causally consistent reversible choreographies: a monitors-as-memories approach
PPDP, 2017.
@inproceedings{PPDP-2017-MezzinaP, author = "Claudio Antares Mezzina and Jorge A. Pérez", booktitle = "{Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming}", doi = "10.1145/3131851.3131864", isbn = "978-1-4503-5291-8", pages = "127--138", publisher = "{ACM}", title = "{Causally consistent reversible choreographies: a monitors-as-memories approach}", year = 2017, }