Eva Graversen, Fabrizio Montesi, Marco Peressotti: Omission Failures in Choreographic Programming. ICTCS 2025: 169-184