Principles of Concurrent and Addison-Wesley, 2006. ISBN 0-321-31283-X.
Book Cover Image
Principles of Concurrent and
- On the book's website there is also a link where instructors can obtain the solution manual.
- Source code of the example programs.
- Source code of Promela programs in the book adapted for use with the Erigone Model Checker. Many of the programs in the archive in the previous item are too complex for Erigone and can only be run with Spin.
- Slides (PDF and LaTeX).
Errata (13 June 2012).
The Promela program for the fourth attempt is incorrect; the inner loops should have "else -> break".
- Preface and table of contents.