Communicating Sequential Processes, by C. A. R. Hoare (PDF Version)Communicating Sequential Processes Communicating Sequential Processes (CSP) is a language for the description of patterns of interaction. It is supported by an elegant, mathematical theory, a set of tools, and an extensive literature. Tony Hoare's book Communicating Sequential Processes is an excellent introduction to the language. It was first published in 1985 by Prentice Hall International. To
