Assertion: semaphore | /r/HasProperty | accessed by two standard atomic operations
Facets:
value: after initialization
type: TEMPORAL
Source sentences:
text: A Semaphore is nothing, but an integer variable (say “S”) that after initialization; it can only be accessed by two standard atomic operations: