Probabilistic Verification of a Synchronous Round-Based Consensus Protocol.

Harpreet S. Duggal, Michel Cukier, William H. Sanders

Browse the full SRDS paper archive.