Bounded buffer with CSP Communicating Sequential Processes: Buffer B Producer P Consumer C Problems: When Buffer full : B can only send to C When Buffer empty : B can only receive from P When Buffer partially filled : B must know whether C or P is ready to act Solution: C sends request to B first; B then sends data Inputs from P and C are guarded with when B P C 58.