Failure detection and consensus in the crash-recovery model
Consensus in the presence of partial synchrony