000052644 001__ 52644
000052644 005__ 20190316233500.0
000052644 037__ $$aREP_WORK
000052644 245__ $$aThe CHT Play
000052644 269__ $$a2004
000052644 260__ $$c2004
000052644 336__ $$aReports
000052644 520__ $$aThis note gives a high level and informal account of the necessary part of the proof that Ω is the weakest failure detector to implement consensus with a majority of correct processes. The proof originally appeared in a widely cited but rarely understood paper by Chandra, Hadzilacos and Toueg. We describe it here as a play in five acts, preceded by a prologue and followed by an epilogue.
000052644 700__ $$0241765$$g155597$$aGaertner, Felix
000052644 700__ $$0240335$$g105326$$aGuerraoui, Rachid
000052644 700__ $$aKouznetsov, Petr$$0241770$$g128437
000052644 8564_ $$uhttps://infoscience.epfl.ch/record/52644/files/IC_TECH_REPORT_200452.pdf$$zn/a$$s167322
000052644 909C0 $$xU10407$$0252114$$pDCL
000052644 909CO $$ooai:infoscience.tind.io:52644$$qGLOBAL_SET$$pIC$$preport
000052644 937__ $$aLPD-REPORT-2004-006
000052644 970__ $$a200452/IC
000052644 973__ $$sPUBLISHED$$aEPFL
000052644 980__ $$aREPORT