On Concurrent Programming

Name: On Concurrent Programming
Price: 10.06 USD
Availability: InStock
ISBN: 9780387949420

ISBN-10: 0387949429

ISBN-13: 9780387949420

Edition: 1997

Authors: Fred B. Schneider

List price: $54.99

30 day, 100% satisfaction guarantee!

Marketplace

4 new & used from $10.06

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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 concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As…

Book details

List price: $54.99
Copyright year: 1997
Publisher: Springer New York
Publication date: 5/6/1997
Binding: Hardcover
Pages: 473
Size: 6.10" wide x 9.25" long x 0.57" tall
Weight: 4.202
Language: English



Preface


List of Figures



Introduction



Formal Logic



Temporal Logic



Notation and Logic for Sequential Programming



Concurrency and Interference



Safety Properties: Invariance



Safety Properties with 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


References


Index