Assertion: algorithm | /r/HasProperty | implemented wait-free
Facets:
Source sentences:
text: It was shown in the 1980s that all algorithms can be implemented wait-free, and many transformations from serial code, called universal constructions, have been demonstrated.