On Concurrent Programming

✍ Scribed by Gries, David;Schneider, Fred B

Publisher: Springer New York
Year: 1997
Tongue: English
Leaves: 482
Edition: N
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

✦ Table of Contents

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. Chapter 12 Putting It TogetherReferences
Index.

✦ Subjects

Electronic books

📜 SIMILAR VOLUMES

On Concurrent Programming

📁 On Concurrent Programming

✍ Fred B. Schneider 📂 Library 📅 1997 🏛 Springer 🌐 English

Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emp