Concurrency State Models And Java Programs ebook
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%