Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto. Reversible Choreographies via Monitoring in Erlang. In Silvia Bonomi, Etienne Rivière, editors, Distributed Applications and Interoperable Systems - 18th IFIP WG 6.1 International Conference, DAIS 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Volume 10853 of Lecture Notes in Computer Science, pages 75-92, Springer, 2018. [doi]
Abstract is missing.