Cover Image

On Concurrent Programming /

Show other versions (1)

Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and co...

Full description

Bibliographic Details
Main Author: Schneider, Fred B.
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York, 1997.
Series:Graduate texts in computer science.
Subjects:
Computer science.
Computer network architectures.
Electronic books.
Online Access:Connect to the full text of this electronic book
Table of Contents:
  • Contents: Introduction
  • Formal Logic
  • Temporal Logic
  • Notation and Logic for Sequential Programming
  • Concurrency and Inteference
  • Saftey Properties: Invariance
  • Safety Properties involving Past terms
  • Verifying arbitrary temporal logic properties
  • Programming with fine-grained atomic actions
  • Semaphores, locks, and conditional critical regions
  • Message passing and distributed programming
  • Putting it together.