Assertion: fetch | /r/HasAspect | finite consensus number
Facets:
Source sentences:
text: Maurice Herlihy (1991) proved that fetch-and-add has a finite consensus number, in contrast to the compare-and-swap operation.