Concurrency Verification

Introduction to Compositional and Non-Compositional Methods

By: No Information Available

Write A Review

Hardcover | 29 November 2002

At a Glance

Hardcover
800 Pages

Dimensions(cm)
22.86 x 15.24 x 4.29

Hardcover

RRP $450.00

$384.75

14%OFF

or 4 interest-free payments of $96.19 with

or

Ships in 5 to 7 business days

This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the communication-closed-layers (CCL) paradigm for verifying network protocols. Compositional concurrency verification methods reduce the verification of a concurrent program to the independent verification of its parts. If those parts are tightly coupled, one additionally needs verification methods based on the causal order between events. These are presented using CCL. The semantic approach followed here allows a systematic presentation of all these concepts in a unified framework which highlights essential concepts. The book is self-contained, guiding the reader from advanced undergraduate level to the state-of-the-art. Every method is illustrated by examples, and a picture gallery of some of the subject's key figures complements the text.

Industry Reviews

'The present textbook is a highly welcome addition to the existing literature on program verification, particularly valuable for the well-arranged, methodically unified framework for a wealth of material.' Zentralblatt fur Mathematik und ihre Grenzgebiete Mathematics Abstracts

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Theory of Computation

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Paperback

RRP $131.20

$81.75

38%
OFF

Swim Training Patterns : 1st Edition - Plan your Training Sessions with the Power of Mathematics - Christoph Bartneck

$117.75

Effective Machine Learning Teams

Best Practices for ML Practitioners

Paperback

RRP $152.00

$73.75

51%
OFF

AI Engineering : Building Applications with Foundation Models - Chip Huyen

$82.75

Unveiling the Art of Steganography

A Modern Approach

Hardcover

RRP $231.00

$202.75

12%
OFF

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Hardcover

RRP $242.00

$233.75

Machine Learning Interviews

Kickstart Your Machine Learning Career

Paperback

RRP $152.00

$73.75

51%
OFF

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

$219.75

13%
OFF

Crypto Engine Design

Cyber Shorts

Paperback

RRP $105.00

$92.75

12%
OFF

AI Value Creators

Beyond the Generative AI User Mindset

Paperback

RRP $152.00

$73.75

51%
OFF

Preface
Introduction and Overview
Introduction
The Inductive Assertion Method
Floyd's inductive assertion method for transition diagrams
The inductive assertion method for shared-variable concurrency
The inductive assertion method for synchronous message passing
Expressibility and relative completeness
Compositional Proof Methods
Introduction to compositional reasoning
Compositional proof methods: synchronous message passing
Compositional proof methods: shared-variable concurrency
Hoare Logic
A proof system for sequential programs using Hoare triples
A Hoare logic for shared-variable concurrency
A Hoare logic for synchronous message passing
Layered Design
Transformational design and Hoare logic
Bibliography
Glossary of symbols
Index
Table of Contents provided by Publisher. All Rights Reserved.

Concurrency Verification

Introduction to Compositional and Non-Compositional Methods

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Theory of Computation

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Discrete Mathematics for Computing

Grassroots

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI Engineering

Building Applications with Foundation Models

Mathematics for Artificial Intelligence

Textbooks in Mathematics