Concurrency: State Models and Java Programs
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.
Категории