Assertion: semaphore | /r/HasProperty | operated by wait
Facets:
Source sentences:
text: Where Semaphore is an integer variable which can be operated only by wait() and signal() operation apart from the initialization.