**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.

Download or read it online for free here:

**Download link**

(1.2MB, PDF)

## Similar books

**Scientific Programming and Computer Architecture**

by

**Divakar Viswanath**-

**The MIT Press**

This book examines and explains a variety of scientific programming models with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity.

(

**4849**views)

**Specifying Systems**

by

**Leslie Lamport**-

**Addison-Wesley Professional**

This book shows how to write unambiguous specifications of complex computer systems. It provides a complete reference manual for the TLA+, the language developed by the author for writing simple and elegant specifications of algorithms and protocols.

(

**14150**views)

**The Elements of Computing Systems**

by

**Noam Nisan, Shimon Schocken**-

**MIT Press**

The book exposes students to a significant body of computer science knowledge, gained through a series of hardware and software construction tasks. These tasks demonstrate how theoretical and applied techniques are used in practice.

(

**20705**views)

**Software Foundations**

by

**Benjamin C. Pierce**-

**University of Pennsylvania**

These are notes for a course on software foundations, suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems.

(

**12862**views)