Time and message-efficient S-based consensus (brief announcement)
Fabíola Greve, Michel Hurfin, Raimundo José de Araújo Macêdo, Michel Raynal · 2000
The class of strong failure detectors (denoted S) includes all failure detectors that suspect all crashed processes and that do not suspect some (a priori unknown) process that never crashes. So, a failure detector that belongs to S is intrinsically unreliable as it can arbitrarily suspect correct processes.