Structured Derivations of Consensus Algorithms for Failure Detectors.

Jiong Yang, Gil Neiger, Eli Gafni

Browse the full PODC paper archive.