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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Magee, Jeff, 1952-
Otros Autores: Kramer, Jeff
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken, NJ : Wiley, ©2006.
Temas:
Parallel programming (Computer science)
Java (Computer program language)
Programmation parallèle (Informatique)
Java (Langage de programmation)
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)
Tabla de Contenidos:
  • 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.

Ejemplares similares