Causally consistent reversible choreographies: a monitors-as-memories approach

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