@inbook{Francalanza_2018,
title={Reversible Choreographies via Monitoring in Erlang},
ISBN={9783319937670},
ISSN={1611-3349},
url={http://dx.doi.org/10.1007/978-3-319-93767-0_6},
DOI={10.1007/978-3-319-93767-0_6},
booktitle={Lecture Notes in Computer Science},
publisher={Springer International Publishing},
author={Francalanza,
Adrian and Mezzina,
Claudio Antares and Tuosto,
Emilio},
year={2018},
pages={75–92} }