Concurrency State Models And Java Programs ebook

Posted By: irick
Date: Aug. 25, 2006


Topics covered include:

- threads and interaction
- interference, exclusion and synchronization
- deadlock, safety and liveness properties
- message passing
- concurrent software architectures
- dynamic and timed systems.

Download

Password: %irick%