nTwo processes:
uproducer
uconsumer
nSynchronization is now confined within the monitor
nappend(.) and take(.) are procedures within the monitor: are the only means by which P/C can access the buffer
nIf these procedures are correct, synchronization will be correct for all participating processes