Assertion: algorithm | /r/CapableOf | satisfy three essential criteria
Facets:
Source sentences:
text: The algorithm satisfies the three essential criteria to solve the critical section problem, provided that changes to the variables turn , flag , and flag propagate immediately and atomically.