Figure:
Process PRODUCER ; var msg : itemtype ; loop produce(msg) ; send(CONSUMER, msg); end ; Process CONSUMER ; var amsg : itemtype ; loop receive(PRODUCER, amsg) ; consumer(msg) ; end ;