On Concurrent Programming

GRADUATE TEXTS IN COMPUTER SCIENCE; ON CONCURRENT PROGRAMMING; Copyright; Preface; Contents; List of Figures; Chapter 1 Introduction; Chapter 2 Formal Logic; Chapter 3 Temporal Logic; Chapter 4 Notation and Logic for Sequential Programming; Chapter 5 Concurrency and Interference; Chapter 6 Safety Properties: Invariance; Chapter 7 Safety Properties with Past Terms; Chapter 8 Verifying Arbitrary Temporal Logic Properties; Chapter 9 Programming with Fine-Grained Atomic Actions; Chapter 10 Semaphores, Locks, and Conditional Critical Regions; Chapter 11 Message Passing and Distributed Programming.