n are local to the monitor (accessible only
within the monitor)
n can be access and changed only by two
functions:
u cwait(a): blocks execution of the calling
process on condition (variable) a
u csignal(a): resume execution of some process
blocked on condition (variable) a.
F If several such process exists: choose any one
F If no such process exists: do nothing