On concurrent programming / Fred B. Schneider.
Series: Graduate texts in computer sciencePublication details: Berlin ; New York : Springer, c1997.Description: xix, 473 p. ; 25 cmISBN:- 0387949429 (hardcover : alk. paper)
- 005.2/75 21
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Book Open Access | Natural Resources and Environmental Sciences Library | 005.2/75SCH (Browse shelf(Opens below)) | 1 | Available | 00010769 |
Table of Contents
1. Introduction 1-6
2. Formal Logics 9-49
3. Temporal Logic 55-83
4. Notation and Logic for Sequential Programming 91- 123
5. Concurrency and Interference 135-168
6. Safety Properties: Invariance 175-198
7. Safety properties with Past Terms 205-230
8. Verifying Arbitrary Temporal Logic Properties 139-277
9. Programming with Fine- Grained Atomic Actions 337- 416
10. Semaphores, Locks, and Conditional Critical Regions 337-370
11. Message Passing and Distributed Programming 377-416
12. Putting it Together 427-434
References 435
Index 451
Includes bibliographical references (p. [435]-449) and index.
There are no comments on this title.