What is concurrent programming? -- The concurrent programming abstraction -- The critical section problem -- Verification of concurrent programs -- Advanced algorithms for the critical section problem -- Semaphores -- Monitors -- Channels -- Spaces -- Distributed algorithms -- Global properties -- Consensus -- Real-time systems
Summary
The latest edition of a classic text on concurrency and distributed programming - from a winner of the ACM/SIGCSE Award for Outstanding Contribution to Computer Science Education
Bibliography
Includes bibliographical references and index
Notes
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