Failure detection

Failure detectors allow to give feedback about processes that are not correct.

PerfectFailureDetector ($\mathscr{P}$) #

• Strong completeness: eventually every process that crashes is detected by every correct process.
• Strong accuracy: if a process $p_i$ is detected by one process, then $p_i$ has crashed.