Title Statements
- Full title :Concurrency : state models & Java programs / Jeff Magee & Jeff Kramer.
Edition Statements
- Publication Date:©2006.
Publication Statements
- Publisher(s):Wiley
- Place of Publication:Hoboken, NJ
- Language:eng
- Publication Date:©2006.
The Physical Object
- Description:xviii, 413 pages : : illustrations ; : 24 cm
Edition Identifiers
- ISBN:0470093552, 9780470093559
- oclc:ocm71007206
- LC Classification:QA76.642
- Dewey Decimal:005.2/75
Table of Contents
1. Introduction -- 2. Processes and threads -- 3. Concurrent execution -- 4. Shared objects and mutual exclusion -- 5. Monitors and condition synchronization -- 6. Deadlock -- 7. Safety and liveness properties -- 8. Model-based design -- 9. Dynamic systems -- 10. Message passing -- 11. Concurrent architectures -- 12. Timed systems -- 13. Program verification -- 14. Logical properties -- App. A. FSP quick reference -- App. B. FSP language specification -- App. C. FSP semantics -- App. D. UML class diagrams
Read More ↓
Rate & Review