n Two processes: u producer u consumer n Synchronization is now confined within the monitor n append(.) and take(.) are procedures within the monitor: are the only means by which P/C can access the buffer n If these procedures are correct, synchronization will be correct for all participating processes
						Producer: repeat   produce v;   append(v); forever Consumer: repeat   take(v);   consume v; forever