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,
}











