Omission failures in choreographic programmingGraversen, Eva; Montesi, Fabrizio; Peressotti, MarcoICTCS 2025 - Proceedings of the 26th Italian Conference on Theoretical Computer Science, Pescara, Italy, September 10–12, 20252025 / 16 p. : ill https://ceur-ws.org/Vol-4039/paper02.pdf Conference proceedings at Scopus Article at Scopus