Assertion: semaphore's value | /r/HasProperty | changed by only one process
Facets:
value: at a particular time
type: TEMPORAL
Source sentences:
text: Both these functions are used to change the value of the semaphore but the value can be changed by only one process at a particular time and no other process should change the value simultaneously.