Assertion: set | /r/HasAspect | finite consensus number
Facets:
Source sentences:
text: Maurice Herlihy (1991) proved that test-and-set has a finite consensus number and can solve the wait-free consensus problem for at-most two concurrent processes.