PREDICATE TRANSFORMERS FOR REASONING ABOUT CONCURRENT COMPUTATION

被引：15
|
作者：
CHANDY, KM
SANDERS, BA
机构：
[1] ETH ZURICH,ETH ZENTRUM,INST COMP SYST,CH-8092 ZURICH,SWITZERLAND
[2] CALTECH,PASADENA,CA 91125
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1995年 / 24卷 / 02期
关键词：
Concurrent programs - Predicate calculus - Predicate transformers - Reasoning - Sequential programs;
D O I：
10.1016/0167-6423(94)00033-B
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we propose a calculus for reasoning about concurrent programs inspired by the wp calculus for reasoning about sequential programs. The calculus uses a small set of familiar rules for dealing with safety, progress and parallel composition. A contribution of this paper is to demonstrate how predicate calculus in general, and predicate transformers in particular, can be used to reason about concurrent programs in which fairness plays a critical role.
引用
收藏
页码：129 / 147
页数：19
相关论文
共 50 条
12345