Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published April 25, 2001 | Submitted
Report Open

Conjunctive Predicate Transformers for Reasoning about Concurrent Computation

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.

Additional Information

© 1993 California Institute of Technology. June 18, 1993. Supported in part by the Swiss National Science Foundation grant 5003-034260.

Attached Files

Submitted - CS_TR_93_29.pdf

Submitted - postscript.ps

Files

CS_TR_93_29.pdf
Files (795.3 kB)
Name Size Download all
md5:bc6cad6a5d9357be339460133c408d7f
644.4 kB Preview Download
md5:1eff347134227fee8cd958d2f62bbc94
150.9 kB Download

Additional details

Created:
August 20, 2023
Modified:
January 13, 2024