Concurrency: State Models & Java Programs, 2nd Edition
- 5h 29m
- Jeff Kramer, Jeff Magee
- John Wiley & Sons (UK)
- 2006
This book provides a systematic and practical approach to designing, analyzing and implementing concurrent programs, using both state models and Java programs to introduce and illustrate key concepts and techniques. Topics covered include:
- threads and interaction
- interference, exclusion and synchronization
- deadlock, safety and liveness properties
- message passing
- concurrent software architectures
- dynamic and timed systems.
Established as a key learning resource for computer science graduate and undergraduate students, this second edition includes new coverage of Program Verification and Logical Properties.
Ideal for classroom use or self-study, this book provides readers with the means to understand the fundamentals and practice of concurrency.
In this Book
-
Introduction
-
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
-
Bibliography
SHOW MORE
FREE ACCESS
