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]
@inproceedings{MezzinaP17-0,
title = {Causally consistent reversible choreographies: a monitors-as-memories approach},
author = {Claudio Antares Mezzina and Jorge A. Pérez},
year = {2017},
doi = {10.1145/3131851.3131864},
url = {http://doi.acm.org/10.1145/3131851.3131864},
researchr = {https://researchr.org/publication/MezzinaP17-0},
cites = {0},
citedby = {0},
pages = {127-138},
booktitle = {Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017},
editor = {Wim Vanhoof and Brigitte Pientka},
publisher = {ACM},
isbn = {978-1-4503-5291-8},
}