Concurrency : state models & Java programs /

"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 Kram...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Magee, Jeff, 1952-
Other Authors: Kramer, Jeff
Format: Electronic eBook
Language:Inglés
Published: Hoboken, NJ : Wiley, ©2006.
Subjects:
Parallel programming (Computer science)
Java (Computer program language)
Programmation parallèle (Informatique)
Java (Langage de programmation)
Online Access:Texto completo (Requiere registro previo con correo institucional)
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.

Similar Items