Concurrency Verification

Introduction to Compositional and Non-Compositional Methods

By: Willem-Paul de Roever, Frank de Boer, Jozef Hooman

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

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 $89.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.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Computer Architecture & Logic Design Parallel Processing Computer Networking & Communications Computer Programming & Software Development Software Engineering Mathematical Theory of Computation Programming & Scripting Languages

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 Parallel Processing

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Site Reliability Engineering

How Google Runs Production Systems

Fundamentals of Software Architecture

A Modern Engineering Approach

Rust All-in-One For Dummies

Quantum Artificial Intelligence

Technologies, Algorithms and Programming

5G Enabled Technology for Smart City and Urbanization System

Advanced Computing Techniques for Optimization in Cloud

Chapman & Hall/Distributed Computing and Intelligent Data Analytics Series

Applied Swarm Intelligence

Cloud Computing for Smart Education and Collaborative Learning

Developing AI, IoT and Cloud Computing-based Tools and Applications for Women's Safety

Healthcare-Driven Intelligent Computing Paradigms to Secure Futuristic Smart Cities

High-Performance Computing for Smart Healthcare

Integration of Cloud Computing and IoT

Trends, Case Studies and Applications

Intelligent Computing and Optimization for Sustainable Development

Nature Inspired Robotics

Embedded Artificial Intelligence

Real-Life Applications and Case Studies

Embedded Systems for Biomedical Applications

High-Performance Computing for Smart Healthcare

Introduction to Modern Scientific Programming and Numerical Methods

Cloud Computing

Concepts and Technologies

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Building Resilient Distributed Systems

Patterns and Practices for Stable Software

Fundamentals of Metadata Management

Uncover the Meta Grid and Unlock Data, Information, and Knowledge Management

Programming Massively Parallel Processors

A Hands-On Approach

Domain-Driven Transformation

Modernize Legacy Systems and Mitigate Risk

This product is categorised by