Assertion: semaphore's value | /r/HasProperty | accessed
Facets:
Source sentences:
text: A semaphore is a protected variable whose value can be accessed and altered only by the operations P and V and