Loading...
This 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.
Loading...
Name
IC_TECH_REPORT_200452.pdf
Access type
openaccess
Size
163.4 KB
Format
Adobe PDF
Checksum (MD5)
b278b27b1668bd3b697eb67234707081