On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols
The Heard-Of model: computing in distributed systems with benign faults