Concurrency: State Models & Java Programs

second edition

Jeff Magee & Jeff Kramer

The following resources are available:

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

 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.

 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.

 

published by Wiley

 

Solutions

First Edition Website

Comments, bugs, problems etc. - email jnm@doc.ic.ac.uk   or jk@doc.ic.ac.uk