'I love this book! It is beautifully written and the combined
FSP/Java approach to model-based development is leading-edge. The
supporting materials, including the LTSA software and the lecture
slides, are superb.' ("Scott Smolka, SUNY at Stony Brook)"
This book provides a systematic and practical approach to
designing, analyzing and implementing concurrent programs, using
both state models and Java programs to introduce and illustrate key
concepts and techniques. Topics covered include: threads and
interaction interference, exclusion and synchronization deadlock,
safety and liveness properties message passing concurrent software
architectures dynamic and timed systems.
Established as a key learning resource for computer science
graduate and undergraduate students, this second edition includes
new coverage of Program Verification and Logical Properties. The
accompanying website contains an updated version of the LTSA tool
for modeling concurrency, model animation and model checking. The
website also includes the full set of state models, Java examples
and demonstration programs and a comprehensive series of overhead
slides for course presentation.
Ideal for classroom use or self-study, this book provides
readers with the means to understand the fundamentals and practice
of concurrency.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!