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 obtain an electronic version in hyperlinked PDF, click here.

This version may be copied, printed, and distributed free of charge.

However, this may not involve any modification to the document itself, be carried out for commercial gain, or (for copyright reasons) take place within India, Pakistan, Bangladesh, Sri Lanka, or the Maldives.

Any questions or suggestions regarding the electronic version can be addressed to Jim Davies.