@inproceedings{d4d2dc2a97d94d33b164c3fcdbed9433,
title = "Causally consistent reversible choreographies: A monitors-as-memories approach",
author = "Mezzina, {Claudio Antares} and Perez, {Jorge A.}",
year = "2017",
doi = "10.1145/3131851.3131864",
language = "English",
pages = "127--138",
booktitle = "Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming (PPDP 2017)",
publisher = "ACM Press Digital Library",
note = "19th International Symposium on Principles and Practice of Declarative Programming ; Conference date: 09-10-2017 Through 11-10-2017",
}