Failure Detection

Perfect Failure Detection
Properties:
Strong completeness: Eventually every process that crashes is permanently detected by every correct process.
Strong accuracy: If a process p is detected by any process, then p has crashed.

Eventually Perfect Failure Detection
Properties:
Strong completeness: Eventually, every process that crashes is permanently suspected by every correct process.
Eventual strong accuracy: Eventually, no correct process is suspected by any correct process.