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

Preface

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.