Assertion: set | /r/CapableOf | solve wait-free consensus problem
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.