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

**A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe**

by

**Antoni Niederlinski**

Introductory and down-to-earth presentation of Constraint Logic Programming, an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems.

(

**5639**views)

**Function Points Analysis Training Course**

by

**David Longstreet**-

**SoftwareMetrics.Com**

The book introduces the basic concepts of function point analysis and unit cost estimating, describes and defines the concepts necessary to establish a boundary between applications, identifies and rates external inputs and external outputs, etc.

(

**10128**views)

**Advances in Human Computer Interaction**

by

**Shane Pinder**-

**InTech**

The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.

(

**10681**views)

**Software Engineering with Reusable Components**

by

**Johannes Sametinger**-

**Springer**

The book explains what is software reuse, what benefits to expect, different forms of software reuse, software components, different kinds of components, examples of successful component reuse, introduction to software engineering, and more.

(

**10654**views)