Description |
1 online resource (xviii, 413 pages) : illustrations |
|
text file |
Bibliography |
Includes bibliographical references and index. |
Access |
Use copy Restrictions unspecified star MiAaHDL |
Reproduction |
Electronic reproduction. [Place of publication not identified] : HathiTrust Digital Library, 2010. MiAaHDL |
System Details |
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212 MiAaHDL |
Processing Action |
digitized 2010 HathiTrust Digital Library committed to preserve pda MiAaHDL |
Summary |
"Concurrency provides a thoroughly updated approach to the basic concepts and techniques behind concurrent programming. Concurrent programming is complex and demands a much more formal approach than sequential programming. In order to develop a thorough understanding of the topic Magee and Kramer present concepts, techniques and problems through a variety of forms: informal descriptions, illustrative examples, abstract models and concrete Java examples. These combine to provide problem patterns and associated solution techniques which enable students to recognise problems and arrive at solutions"--Resource description page |
Contents |
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 -- 13. Program verification -- 14. Logical properties -- App. A. FSP quick reference -- App. B. FSP language specification -- App. C. FSP semantics -- App. D. UML class diagrams. |
Subject |
Parallel programming (Computer science)
|
|
Java (Computer program language)
|
|
Programmation parallèle (Informatique) |
|
Java (Langage de programmation) |
|
Parallel programming (Computer science) |
|
Java (Computer program language) |
|
Java (Computer program language) |
|
Parallel programming (Computer science) |
Added Author |
Kramer, Jeff.
|
Added Title |
Concurrency state models and Java programs |
Other Form: |
Print version: Magee, Jeff, 1952- Concurrency. Hoboken, NJ : Wiley, ©2006 (DLC) 2006004540 (OCoLC)71007206 |
ISBN |
(cloth ; alk. paper) |
|
(cloth ; alk. paper) |
Standard No. |
9780470093559 |
|