On concurrent programming /
Schneider, Fred B.
On concurrent programming / Fred B. Schneider. - Berlin ; New York : Springer, c1997. - xix, 473 p. ; 25 cm. - Graduate texts in computer science .
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.
0387949429 (hardcover : alk. paper)
Parallel programming (Computer science)
005.2/75
On concurrent programming / Fred B. Schneider. - Berlin ; New York : Springer, c1997. - xix, 473 p. ; 25 cm. - Graduate texts in computer science .
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.
0387949429 (hardcover : alk. paper)
Parallel programming (Computer science)
005.2/75