Conjunctive Predicate Transformers for Reasoning about Concurrent Computation

Chandy, K. Mani (1993) Conjunctive Predicate Transformers for Reasoning about Concurrent Computation. Technical Report. California Institute of Technology. [CaltechCSTR:1993.cs-tr-93-29]

Full text available as:

Postscript - Requires a viewer, such as GhostView

Abstract

In this paper we propose a calculus for reasoning about concurrent programs inspired by the wp calculus for reasoning about sequential programs. We suggest predicate transformers for reasoning about progress properties and for deducing properties obtained by parallel composition. The paper presents theorems about the predicate transformers and suggests how they can be used in program design. Familiarity with the wp calculus is assumed.

EPrint Type:	Monograph (Technical Report)
Subjects:	All Records
ID Code:	118
Deposited By:	Caltech Library System
Deposited On:	25 April 2001
Record Number:	CaltechCSTR:1993.cs-tr-93-29
Official Persistent URL:	http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-29
Usage Policy:	You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.

Archive Staff Only: edit this record