Assertion: semaphore's value | /r/HasProperty | process
Facets:
Source sentences:
text: After the increment, if the pre-increment value was zero and if there are processes waiting for a resource, a blocked process is transferred from the semaphore's waiting queue to the ready queue.