9780471987109

Your Satisfaction is Guaranteed:

• 30 Day Return Policy
• Bookseller Guarantee
• Privacy & Security Policy

Concurrent programs are notoriously difficult to get right. This book provides a systematic and practical approach to designing, analysing and implementing concurrent programs. Concurrent concepts and techniques are introduced and illustrated using both state models and Java programs - enabling concurrent behaviour to be animated, mechanically analysed and then implemented in programs.

This book and accompanying CD-ROM provide you with the means for understanding the fundamentals practice of concurrency.

Topics covered include:
- Threads and interaction
- Interface, exclusion and synchronization
- Deadlock, safety and liveness properties
- Message passing
- Concurrent software architectures
- Dynamic and timed systems

The accompanying CD-ROM contains the software analysis for modelling concurrent, model animation and model checking, the full set of state models, Java examples and demonstration programs, and a comprehension series of overhead slides for course presentation.

Concurrency: State Models & Java Programs: Search Results