Research Catalog

Title

On concurrent programming / Fred B. Schneider.

Author

Schneider, Fred B.

Publication

New York : Springer, [1997], ©1997.

Items in the Library & Off-site

Holdings

Details

Description

xix, 473 pages : illustrations; 25 cm.

Summary

• 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.

Series Statement

Graduate texts in computer science

Uniform Title

Graduate texts in computer science.

Subject

• Parallel programming (Computer science)

Bibliography (note)

• Includes bibliographical references (p. [435]-449) and index.

Contents

1. Introduction -- 2. Formal Logic -- 3. Temporal Logic -- 4. Notation and Logic for Sequential Programming -- 5. Concurrency and Interference -- 6. Safety Properties: Invariance -- 7. Safety Properties with Past Terms -- 8. Verifying Arbitrary Temporal Logic Properties -- 9. Programming with Fine-Grained Atomic Actions -- 10. Semaphores, Locks, and Conditional Critical Regions -- 11. Message Passing and Distributed Programming -- 12. Putting It Together.

ISBN

0387949429 (hardcover : alk. paper)

LCCN

97001017

OCLC

ocm36181129

Owning Institutions

Columbia University Libraries