Assertion: semaphore | /r/HasProperty | initialized with a value of 1
Facets:
Source sentences:
text: For example, let us consider two processes P1 and P2 and a semaphore initialized with a value of 1.
text: In the constructor functions, then, for the order queue and the market, you'd expect to see a semaphore initialized with a value of 1: