The Theory and Practice of Concurrency
This page gives access to a number of
extracts from the book that can be viewed in html format.
The ones available at present
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.