Assertion: algorithm | /r/HasProperty | wait-free
Facets:
Source sentences:
text: An algorithm is wait-free if every operation has a bound on the number of steps the algorithm will take before the operation completes.