Assertion: failure detector | /r/HasProperty | ♦s
Facets:
Source sentences:
text: Strong failure detectors (S) Eventually strong failure detectors (♦S)