Title Statements
- Full title :Concurrency : state models & Java programs / Jeff Magee & Jeff Kramer.
Summary
"Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions"--Resource description page
Read More ↓Edition Statements
- Publication Date:©2006.
Publication Statements
- Publisher(s):Wiley
- Place of Publication:Hoboken, NJ
- Language:eng
- Publication Date:©2006.
The Physical Object
- Description:1 online resource (xviii, 413 pages) : : illustrations
Edition Identifiers
- oclc:ocn607804658
- 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