Assertion: binary semaphore | /r/CapableOf | act like simple mutexes
Facets:
Source sentences:
text: Binary semaphores act much like simple mutexes, while counting semaphores can behave as recursive mutexes.