TY  - BOOK
AU  - Magee,Jeff
AU  - Kramer,Jeff
TI  - Concurrency: state models & Java programs 
SN  - 0471987107
U1  - 005.2752 
PY  - 1999///
CY  - Chichester, England
PB  - John Wiley
KW  - Java (Computer program language)
KW  - Parallel programming (Computer science)
N1  - 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
ER  -