Assertion: process | /r/AtLocation | one of two states
Facets:
value: at any instant
type: TEMPORAL
Source sentences:
text: Thus, a process may be considered to be in one of two states, RUNNING or NOT RUNNING.
text: At any instant, a process is in one and only one of the three states.
text: Thus, a process may be considered to be in one of two states, RUNNING or NOT RUNNING.
text: At any instant, a process is in one and only one of the three states.