Some links relating to this book are available here . The full text is available for download as a PS or PDF file from Bill Roscoe's list of academic publications. It is a member of the family of mathematical theories of concurrency known as process algebras, or Process Calculi . CSP was influential in the development of the Occam programming language.1, INMOS document 72 occ 45 03
