Assertion: lock free algorithm | /r/HasProperty | obstruction-free
Facets:
Source sentences:
text: All lock-free algorithms are obstruction-free.