SHARED-STATE DESIGN MODULO WEAK AND STRONG PROCESS FAIRNESS

被引：0
|
作者：
STOLEN, K [1 ]
机构：
[1] TECH UNIV MUNICH, INST INFORMAT, W-8000 MUNICH 2, GERMANY
来源：
IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS | 1993年 / 10卷
关键词：
SOFTWARE ENGINEERING; REQUIREMENTS SPECIFICATIONS; PROGRAM VERIFICATION; DESIGN;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
A number of rules for proving shared-state programs totally correct with respect to both weak and strong process fairness is presented. The rules are compositional - thus they allow for design in a top-down style. On the other hand, already finished programs can be verified without the use of program transformation.
引用
收藏
页码：479 / 498
页数：20
相关论文
共 50 条
  • [1] Adaptive Shared-State Sampling
    Raspall, Frederic
    Sallent, Sebastia
    IMC'08: PROCEEDINGS OF THE 2008 ACM SIGCOMM INTERNET MEASUREMENT CONFERENCE, 2008, : 271 - 284
  • [2] An Algebraic Theory for Shared-State Concurrency
    Dvir, Yotam
    Kammar, Ohad
    Lahav, Ori
    PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2022, 2022, 13658 : 3 - 24
  • [3] UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process Models
    Butterfield, Andrew
    Mjeda, Anila
    Noll, John
    2016 10TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2016, : 93 - 100
  • [4] WEAK AND STRONG FAIRNESS IN CCS
    COSTA, G
    STIRLING, C
    INFORMATION AND COMPUTATION, 1987, 73 (03) : 207 - 244
  • [5] A METHOD FOR THE DEVELOPMENT OF TOTALLY CORRECT SHARED-STATE PARALLEL PROGRAMS
    STOLEN, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 510 - 525
  • [6] A method for evaluating efficiency of protocols on the asynchronous shared-state model
    Nakaminami, Y
    Masuzawa, T
    Herman, T
    SELF-STABILIZING SYSTEMS, PROCEEDINGS, 2003, 2704 : 141 - 153
  • [7] AN ATTEMPT TO REASON ABOUT SHARED-STATE CONCURRENCY IN THE STYLE OF VDM
    STOLEN, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 324 - 342
  • [8] Speaker adaptation using tree structured shared-state HMMs
    Ishii, J
    Tonomura, M
    Matsunaga, S
    ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, 1996, : 1149 - 1152
  • [9] PVBSSS: Parallel validation-based shared-state scheduler
    He L.
    Zhou W.
    He J.
    Yao S.
    International Journal of Web Engineering and Technology, 2017, 12 (03) : 275 - 294
  • [10] Self-stabilizing strong fairness under weak fairness
    Karaata, MH
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2001, 12 (04) : 337 - 345
12345