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 条
  • [21] Process algebra approach to reasoning about concurrent actions
    Yuan Feng
    Ming-Sheng Ying
    Journal of Computer Science and Technology, 2004, 19 : 364 - 373
  • [22] Process algebra approach to reasoning about concurrent actions
    Feng, Y
    Ying, MS
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 19 (03) : 364 - 373
  • [23] Temporal reasoning about two concurrent sequences of events
    Ishihara, Y
    Ishii, S
    Seki, H
    Ito, M
    SIAM JOURNAL ON COMPUTING, 2004, 34 (02) : 498 - 513
  • [24] QCTL: A logic for reasoning about inconsistent concurrent systems
    Chen, Donghuo
    Zhang, Guangquan
    Wu, Jinzhao
    TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 241 - +
  • [25] Case-based reasoning approach to concurrent design of low power transformers
    Kwong, CK
    Tam, SM
    JOURNAL OF MATERIALS PROCESSING TECHNOLOGY, 2002, 128 (1-3) : 136 - 141
  • [26] A SPECIFICATION TECHNIQUE BASED ON PREDICATE TRANSFORMERS
    WURGES, H
    ACTA INFORMATICA, 1981, 15 (04) : 425 - 445
  • [27] Predicate Transformers for Local Description Units
    Letichevsky, Alexander A.
    Letychevskyi, Olexandr O.
    TENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES REVISED SELECTED PAPERS CSIT-2015, 2015, : 33 - 36
  • [28] WIN AND SIN - PREDICATE TRANSFORMERS FOR CONCURRENCY
    LAMPORT, L
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (03): : 396 - 428
  • [29] Reasoning about staged computation - Abstract of invited talk
    Pfenning, F
    SEMANTICS, APPLICATIONS AND IMPLEMENTATION OF PROGRAM GENERATION, PROCEEDINGS, 2000, 1924 : 5 - 6
  • [30] AN EXPERIMENT WITH THE USE OF PREDICATE TRANSFORMERS IN UNITY
    DIJKSTRA, RM
    INFORMATION PROCESSING LETTERS, 1995, 53 (06) : 329 - 332
12345