Towards choreographic-based monitoring ; Reversible Computation: Extending Horizons of Computing. RC 2020. Lecture Notes in Computer Science, vol 12070 - Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio; International Conference on Reversible Computation, RC 2020 (Springer, 2020)