Magee, Jeff.
Concurrency : state models & Java programs / Jeff Magee & Jeff Kramer - Chichester, England : John Wiley, c1999 - xiii, 355 p. ; 25 cm. + 1 electronic optical disc (CD-ROM) (4 3/4in.) - Worldwide series series in computer science .
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
0471987107
Java (Computer program language)
Parallel programming (Computer science)
005.2752 / MAG
Concurrency : state models & Java programs / Jeff Magee & Jeff Kramer - Chichester, England : John Wiley, c1999 - xiii, 355 p. ; 25 cm. + 1 electronic optical disc (CD-ROM) (4 3/4in.) - Worldwide series series in computer science .
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
0471987107
Java (Computer program language)
Parallel programming (Computer science)
005.2752 / MAG