On concurrent programming
by Fred B. Schneider
- 1 Want to read
Much software today is structured as concurrent programs. This graduate-level text offers a self-contained and in-depth treatment of the subject. Formal methods and assertional reasoning drive the exposition.
Not only are derivation and reasoning about concurrent programs discussed, but the assertional approach provides a compelling way to motivate and understand the more traditional concerns in concurrent programming: synchronization and communication mechanisms; protocols to solve key concurrent programming problems.
As befits an introductory text, readers are provided with a good account of the basics: propositional and predicate logic, temporal logic, and a Hoare-style logic for sequential programs. Exercises at the end of each chapter extend and illustrate the main themes. The result is a book that should be invaluable to those interested in concurrent programming.
Check nearby libraries
Buy this book
Previews available in: English
| Edition | Availability |
|---|---|
1
|
zzzz
|
|
2
|
zzzz
|
3
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. [435]-449) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
| August 7, 2024 | Edited by MARC Bot | import existing book |
| December 29, 2021 | Edited by ImportBot | import existing book |
| February 14, 2020 | Edited by MARC Bot | remove fake subjects |
| July 22, 2017 | Edited by Mek | adding subject: In library |
| December 10, 2009 | Created by WorkBot | add works page |