Assertion: semaphore | /r/HasProperty | categorized as binary and counting semaphores
Facets:
Source sentences:
text: Also, mutex has no categorization, while semaphores are categorized as binary and counting semaphores.