Assertion: algorithm | /r/CapableOf | achieve mutual exclusion
Facets:
Source sentences:
text: That this algorithm achieves mutual exclusion can be proven as follows.