| The
following resources are available:
 Slides
Lecture notes for Chapters 1-10, 12 and 14 of the book.
(*revised 2015)
Demonstration Programs
The set of demonstration programs in the book
may be run as applets in a Java Java™ 2 enabled browser from
here. The program source is also included. The complete set of applets,
Java™ source and Web pages can be downloaded as a zip file from
here.
(*revised 2013)
Labelled
Transition System Analyzer v3.0
The LTS Analyzer can
be run as an Applet
from here in browsers which support
Java™ 2. A zip file containing jar files and installation instructions
can be downloaded from here.
|
