Assertion: algorithm's operation | /r/HasProperty | aborted
Facets:
Source sentences:
text: Obstruction-freedom demands only that any partially completed operation can be aborted and the changes made rolled back.