Taylor's Library

Normal view MARC view ISBD view

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

By: Magee, Jeff.
Contributor(s): Kramer, Jeff [(j.a.)].
Series: Worldwide series series in computer science. Publisher: Chichester, England : John Wiley, c1999Description: xiii, 355 p. ; 25 cm. + 1 electronic optical disc (CD-ROM) (4 3/4in.).ISBN: 0471987107.Subject(s): Java (Computer program language) | Parallel programming (Computer science)DDC classification: 005.2752
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.
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Accompanying Material (Media Resource) TU External Storage-LCS
005.2752 MAG (Browse shelf) 1 Available SOCIT,15010,03,GR 1000121127 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1
Accompanying Material (Media Resource) TU External Storage-LCS
005.2752 MAG (Browse shelf) 1 Available SOCIT,15010,03,GR 1000121126 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1
Accompanying Material (Media Resource) TU External Storage-LCS
005.2752 MAG (Browse shelf) 1 Available SOCIT,15010,03,GR 1000112990 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1
Accompanying Material (Media Resource) TU External Storage-LCS
005.2752 MAG (Browse shelf) 1 Available SOCIT,15010,03,GR 1000112989 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1
Accompanying Material (Media Resource) TU External Storage-LCS
005.2752 MAG (Browse shelf) 1 Available SABDx,23002,02,GR 1000037581 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1
Accompanying Material (Media Resource) TU External Storage-LCS
005.2752 MAG (Browse shelf) 1 Available SABDx,23002,02,GR 1000037706 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1
Browsing Taylor's Library-TU Shelves Close shelf browser
005.2752 MAG Concurrency : 005.2752 MAG Concurrency : 005.2752 MAG Concurrency : 005.2752 MAG Concurrency : 005.2752 MAG Concurrency : 005.2752 MAG Concurrency : 005.2752 MAG Concurrency :

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