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.


This is a book for the aspiring programmer, the programmer who aspires to greater understanding and skill in the practice of an intellectually demanding profession. It is designed to appeal first to a natural sense of curiosity, which is aroused by a new approach to a familiar topic. The approach is illustrated by a host of examples drawn from a wide range of applications, from vending machines through fairy stories and games to computer operating systems.
The treatment is based on a mathematical theory, which is described by a systematic collection of algebraic laws.
The ultimate objective of the book is to convey an insight which will enable the reader to see both current and future problems in a fresh light, in which they can be more efficiently and more reliably solved; and even better, they can sometimes be avoided.

Table of Contents

  • Processes
  • Concurrency
  • Nondeterminism
  • Communication
  • Sequential Processes
  • Shared Resources
  • Discussion

Book Details

Author(s): C. A. R. Hoare
Format(s): PDF
File size: 1.22 MB
Number of pages: 260
Link: Download.

Leave a Reply