Assertion: semaphore's value | /r/CapableOf | block other processes
Facets:
value: from entering their critical section
type: TRANSITIVE-OBJECT
Source sentences:
text: When S is 1, P is allowed to enter its critical section While P is in its critical section, the value of S is zero, blocking other processes from entering their critical section.