ISBN-10:
0521806089
ISBN-13:
9780521806084
Pub. Date:
08/28/2011
Publisher:
Cambridge University Press
Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1

Concurrency Verification: Introduction to Compositional and Non-compositional Methods / Edition 1

Hardcover

Current price is , Original price is $340.0. You
Select a Purchase Option (New Edition)
  • purchase options
    $259.76 $340.00 Save 24% Current price is $259.76, Original price is $340. You Save 24%.
  • purchase options

Product Details

ISBN-13: 9780521806084
Publisher: Cambridge University Press
Publication date: 08/28/2011
Series: Cambridge Tracts in Theoretical Computer Science Series , #54
Edition description: New Edition
Pages: 800
Product dimensions: 5.98(w) x 8.98(h) x 1.69(d)

Table of Contents

Preface; Part I. Introduction and Overview: 1. Introduction; Part II. The Inductive Assertion Method: 2. Floyd's inductive assertion method for transition diagrams; 3. The inductive assertion method for shared-variable concurrency; 4. The inductive assertion method for synchronous message passing; 5. Expressibility and relative completeness; Part III. Compositional Proof Methods: 6. Introduction to compositional reasoning; 7. Compositional proof methods: synchronous message passing; 8. Compositional proof methods: shared-variable concurrency; Part IV. Hoare Logic: 9. A proof system for sequential programs using Hoare triples; 10. A Hoare logic for shared-variable concurrency; 11. A Hoare logic for synchronous message passing; Part V. Layered Design: 12. Transformational design and Hoare logic; Bibliography; Glossary of symbols; Index.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews