Communicating Sequential Processes

Communicating Sequential Processes

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. This book can be downloaded in pdf format.

Use the following url to access the free ebook Communicating Sequential Processes .
http://www.usingcsp.com