Assertion: semaphore's implementation | /r/CapableOf | use mutex locks
Facets:
value: in place of binary semaphores
type: OTHER
Source sentences:
text: However, actual implementations of these solutions could use mutex locks in place of binary semaphores.