Concurrency: State Models & Java Programs

The following resources are available:

 Slides
A set of lecture notes for Chapters 1-8 & 10 of the book

 Demonstration Programs
The set of demonstration programs in the book
may be run as applets in a Java enabled browser
from here. The program source is also included.

 Labelled Transition System Analyzer
The LTS Analyzer can be run as an Applet
from here in browsers which support
Java 1.1 or later.

 Labelled Transition System Analyzer V2.2
This version also runs as an applet.
It requires Java 1.3 Plugin 

published by Wiley