Concurrency : state models & Java programs

Select an Action

Title:

Author:

Magee, Jeff, 1952-

ISBN:

9780470093559

Personal Author:

Magee, Jeff, 1952-

Publication Information:

Physical Description:

xviii, 413 pages : illustrations ; 24 cm

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.

Subject Term:

Parallel programming (Computer science)

Java (Computer program language)

Programacion paralela (Computación)

Java (Lenguaje de programación para computadora)

Added Author:

Kramer, Jeff.

Electronic Access:

Table of contents http://catdir.loc.gov/catdir/toc/ecip068/2006004540.html
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0826/2006004540-b.html
Publisher description http://catdir.loc.gov/catdir/enhancements/fy0653/2006004540-d.html

Bound With These Titles

On Order

Summary

Summary