My Wish Lists Login / Join

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

Ships in 15 to 25 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

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 Mathematical Theory of Computation

Artificial Intelligence in Modeling and Simulation

Simulation Foundations, Methods and Applications

Algorithms in C, Parts 1-4

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

Discrete Mathematics for Computing

Grassroots

Swim Training Patterns

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

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Effective Machine Learning Teams

Best Practices for ML Practitioners

AI Engineering

Building Applications with Foundation Models

AI, Robotics, and 3D Printing

Constructing the Sustainable City of Tomorrow

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Foundation Mathematics

Introduction to Modern Cryptography

Revised Third Edition

Machine Learning Interviews

Kickstart Your Machine Learning Career

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Ten Software Patterns Every Student Should Know

Applied Mathematics with F#

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Computability and Computational Explanation

Elements in the Philosophy of Mathematics

Graphical Models and Causal Discovery with Python

100 Exercises for Building Logic

Tools for High Performance Computing 2024

Proceedings of the 15th International Workshop on Parallel Tools for High Performance Computing

Python Essentials

Symbolic and Numeric Problem-Solving in Engineering

Axiomatic Set Theory

An Introduction

BEADING WITH ALGORITHMS

CELLULAR AUTOMATA IN PEYOTE STITCH

AI Value Creators

Beyond the Generative AI User Mindset

Hands-On Generative AI with Transformers and Diffusion Models

This product is categorised by