Published June 1, 1993
| Version Submitted
Technical Report
Open
Conjunctive Predicate Transformers for Reasoning about Concurrent Computation
Creators
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
Identifiers
- Eprint ID
- 26769
- DOI
- 10.7907/Z9KP8063
- Resolver ID
- CaltechCSTR:1993.cs-tr-93-29
Funding
- Swiss National Science Foundation (SNSF)
- 5003-034260
Dates
- Created
-
2001-04-25Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
Caltech Custom Metadata
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports