Communicating Sequential Processes (CSP)

Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes was first published in 1985 by Prentice Hall International (who have kindly released the copyright); it is an excellent introduction to the language, and also to the mathematical theory.

To obtain the electronic version, click here.

The electronic version of the book may be copied, printed, and distributed free of charge. However, such copying, printing, or distribution may not: be carried out for commercial gain; or - because of difficulties in regaining the copyright - take place within India, Pakistan, Bangladesh, Sri Lanka, or the Maldives; or involve any modification to the document itself.

The author, Tony Hoare, was Professor of Computation at Oxford, and is now a senior researcher at Microsoft Research. The editor of this version, Jim Davies, is the Director of the Software Engineering Programme at Oxford. The Programme offers week-long short courses in CSP and its applications: as individual courses, or as part of a flexible, professional (part-time) masters'.