Assertion: semaphore's value | /r/HasProperty | set by previous process
Facets:
Source sentences:
text: Now, because of wait(S) executed by a process, if another process tries to enter into the critical section with an attempt to execute wait(S) it will not be able to get out of while loop of wait(S) because of S‘s current value i.e. S = 0 (set by a previous process, which is now in the critical section).