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