Assertion: algorithm's operation | /r/CapableOf | succeed in finite number of steps
Facets:
Source sentences:
text: An algorithm is lock-free if infinitely often operation by some processors will succeed in a finite number of steps.