Concurrency: State Models & Java Programs

second edition

Jeff Magee & Jeff Kramer

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.

 

published by Wiley

 

Solutions

First Edition Website

Comments, bugs, problems etc. - email j.magee@imperial.ac.uk   or j.kramer@imperial.ac.uk