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