Title Statements
- Full title :Concurrency : state models and Java programs / Jeff Magee and Jeff Kramer.
Edition Statements
- Publication Date:2006.
- Edition:[2nd ed.]
Publication Statements
- Publisher(s):Wiley
- Place of Publication:Chichester
- Language:eng
- Publication Date:2006.
The Physical Object
- Description:xviii, 413 pages : : illustrations
Edition Identifiers
- ISBN:0470093552, 9780470093559
- oclc:ocn963778428
- 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 -- Appendix A : FSP quick reference -- Appendix B : FSP language specification -- Appendix C : FSP semantics -- Appendix D : UML class diagrams.
Read More ↓
Rate & Review