On the Verification of Broadcast Protocols.

Javier Esparza, Alain Finkel, Richard Mayr

Browse the full LICS paper archive.