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