@inproceedings{francalanza:hal-01824635,
  TITLE = {{Reversible Choreographies via Monitoring in Erlang}},
  AUTHOR = {Francalanza, Adrian and Mezzina, Claudio Antares and Tuosto, Emilio},
  URL = {https://inria.hal.science/hal-01824635},
  BOOKTITLE = {{18th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS)}},
  ADDRESS = {Madrid, Spain},
  EDITOR = {Silvia Bonomi and Etienne Rivi{\`e}re},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Distributed Applications and Interoperable Systems},
  VOLUME = {LNCS-10853},
  PAGES = {75-92},
  YEAR = {2018},
  MONTH = Jun,
  DOI = {10.1007/978-3-319-93767-0\_6},
  PDF = {https://inria.hal.science/hal-01824635/file/469768_1_En_6_Chapter.pdf},
  HAL_ID = {hal-01824635},
  HAL_VERSION = {v1},
}