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

YOU MIGHT ALSO LIKE

Rating 4.3 of 86 users Rating 4.3 of 86 users (86)
Rating 4.5 of 160 users Rating 4.5 of 160 users (160)