Taylor's Library Banner
Image from Google Jackets

Concurrency : state models & Java programs / Jeff Magee & Jeff Kramer

By: Contributor(s): Series: Worldwide series series in computer sciencePublication details: Chichester, England : John Wiley, c1999Description: xiii, 355 p. ; 25 cm. + 1 electronic optical disc (CD-ROM) (4 3/4in.)ISBN:
  • 0471987107
Subject(s): DDC classification:
  • 005.2752 MAG
Contents:
Preface. - Acknowledgments. - 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. - Appendix A. FSP Quick Reference. - Appendix B. FSP Language Specification. - Appendix C. FSP Semantics. - Appendix D. UML Class Diagrams. - Bibliography. - Index.
No physical items for this record

Preface. - Acknowledgments. - 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. - Appendix A. FSP Quick Reference. - Appendix B. FSP Language Specification. - Appendix C. FSP Semantics. - Appendix D. UML Class Diagrams. - Bibliography. - Index.

1 electronic optical disc (CD-ROM) : CD-ROM to accompany Concurrency : state models & Java programs [by] Jeff Magee & Jeff Kramer