Wait-Only Broadcast Protocols Are Easier to Verify.

Lucie Guillou, Arnaud Sangnier, Nathalie Sznajder

Browse the full MFCS paper archive.