Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder. Wait-Only Broadcast Protocols Are Easier to Verify. In Pawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak, editors, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025, August 25-29, 2025, Warsaw, Poland. Volume 345 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025. [doi]
Abstract is missing.