Simple CHT: A New Derivation of the Weakest Failure Detector for Consensus


The paper proposes an alternative proof that Ω, an oracle that outputs a process identifier and guarantees that eventually the same correct process identifier is output at all correct processes, provides minimal information about failures for solving consensus in read-write shared-memory systems: every oracle that gives enough failure information to solve… (More)


4 Figures and Tables