Additional Resources

Accompanying this book are the following:

• Java examples and demonstration programs

• state models for the examples

• the Labeled Transition System Analyzer (LTSA) for concurrency modeling, model animation, and model property checking

• overhead slides for course presentation

These are provided at the following URL: http://www.wileyeurope.com/college/magee.