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