Synchronization of Communicating Processes.

Describes how the formalization of a well-defined synchronization mechanism can be used to prove that concurrently running processes of a system communicate correctly. Process of depositing and removing messages from a buffer; Evidence that the buffer will neither overflow nor underflow.