Assertion: semaphore's implementation | /r/HasProperty | done other way
Facets:
Source sentences:
text: The implementation of the mutex can be done using semaphores and so is the other way around.