The Theory and Practice of Concurrency

Extracts from the text

This page gives access to a number of extracts from the book that can be viewed in html format.

The ones available at present are

Table of contents


Chapter 0 (Introduction)

Chapter 1 (Fundamental concepts)

Chapter 7 (Operational semantics)

Chapter 15 (Case studies)

Appendix B (Machine-readable CSP reference)

Click your mouse on a page to move to the next one.