Infoscience

Report

The CHT Play

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.

    Reference

    • LPD-REPORT-2004-006

    Record created on 2005-07-13, modified on 2016-08-08

Related material