Principles of Concurrent and Distributed Programming (Second edition)

Principles of Concurrent and
Distributed Programming
(Second edition)
Book Cover Image

 Addison-Wesley, 2006. ISBN 0-321-31283-X.


  • 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.