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