by Robin Sharp
Uses the Communicating Sequential Processes (CSP) notation to describe and design a multiplicity of data communications protocols.