Assertion: semaphore | /r/HasProperty | abstract data type
Facets:
Source sentences:
text: A semaphore is an abstract data type that controls access to a common resource by