Assertion: semaphore's value | /r/HasProperty | the number of resources
Facets:
value: in counting semaphore
type: TEMPORAL
Source sentences:
text: In counting semaphore, the initialized value is the number of resources that are available.
text: Most coding examples I have run across use the value of 0, not -1, as the value that means the semaphore is out of permits, i.e. resources.
text: In counting semaphore, the initialised value is the number of resources that are available.