Assertion: struct semaphore | /r/HasProperty | process
Facets:
Source sentences:
text: struct Semaphore { int value; // processes that can enter in the critical section simultaneously.