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:Chichester, England
- Language:eng
- Publication Date:©2006.
The Physical Object
- Description:xviii, 413 pages : : illustrations ; : 24 cm
Edition Identifiers
- ISBN:0470093552, 9780470093559
- oclc:ocm64084212
- LC Classification:QA76.642
- Dewey Decimal:005.2/75
Table of Contents
Processes and threads -- Concurrent execution -- Shared objects and mutual exclusion -- Monitors and condition synchronization -- Deadlock -- Safety and liveness properties -- Model-based design -- Dynamic systems -- Message passing -- Concurrent architectures -- Timed systems -- Program verification --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