Assertion: failure detector | /r/HasProperty | ♦q
Facets:
Source sentences:
text: Weak failure detectors (W) Eventually weak failure detectors (♦W) Quasi-perfect failure detectors (Q) Eventually quasi-perfect failure detectors (♦Q)