Assertion: semaphore's implementation | /r/CapableOf | use monitor
Facets:
Source sentences:
text: Here are implementations of push() and pop() that use monitors and wait sets: