Welcome to E-Books Directory
This is a freely downloadable e-book.

Communicating Sequential Processes

Communicating Sequential Processes
by C.A.R. Hoare

Publisher: Prentice Hall 2004
ISBN/ASIN: 0131532715
ISBN-13: 9780131532717
Number of pages: 260

Description:
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 is an excellent introduction to the language, and also to the mathematical theory.

Home page url

 Download or read it online here:

Download link

 (1.2MB, PDF)