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 条
  • [21] SOME REMARKS ON SYMMETRIES SHARED BY STRONG AND WEAK INTERACTIONS
    VENKATESAN, K
    SANTHANAKRISHNAN, TS
    NUCLEAR PHYSICS, 1963, 45 (02): : 255 - &
  • [22] EDUCATIONAL DECENTRALIZATION - WEAK STATE OR STRONG STATE
    MCGINN, N
    STREET, S
    COMPARATIVE EDUCATION REVIEW, 1986, 30 (04) : 471 - 490
  • [23] An Extended Fine-grained Conflict Detection Method for Shared-State Scheduling in Large Scale Cluster
    He, Libo
    Yao, Shaowen
    Zhou, Wei
    PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON INTELLIGENT INFORMATION PROCESSING (ICIIP'16), 2016,
  • [24] Complete assertional proof rules for progress under weak and strong fairness
    Hesselink, Wirn H.
    SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (09) : 1521 - 1537
  • [25] THE WEAK AND STRONG TYPE OF INTERCULTURAL STATE
    Baldin, Serena
    REVISTA GENERAL DE DERECHO PUBLICO COMPARADO, 2023, (34): : 279 - 293
  • [26] A DISTRIBUTED IMPLEMENTATION OF SHARED VIRTUAL MEMORY WITH STRONG AND WEAK COHERENCE
    GILOI, WK
    HASTEDT, C
    SCHOEN, F
    SCHROEDERPREIKSCHAT, W
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 487 : 23 - 31
  • [27] Strong column - Weak beam design
    Cheong-Siat-Moy, F
    Ferrarelli, D
    Staehlin, W
    FOURTH CONFERENCE ON TALL BUILDINGS IN SEISMIC REGIONS, PROCEEDINGS: TALL BUILDINGS FOR THE 21ST CENTURY, 1997, : 361 - 372
  • [28] WEAK-STRONG INSTABILITY AS A DIFFUSION PROCESS
    KHEIFETS, SA
    IEEE TRANSACTIONS ON NUCLEAR SCIENCE, 1979, 26 (03) : 3615 - 3617
  • [29] Multi Attribute D-S Evidence Theory Based OCC for Shared-State Scheduling in Large Scale Cluster
    He, Libo
    Qiang, Zhenping
    Zhou, Wei
    Yao, Shaowen
    INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2016, 12 (12) : 43 - 48
  • [30] WEAK-STRONG INSTABILITY AS A DIFFUSION PROCESS
    KHEIFETS, S
    BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1979, 24 (02): : 199 - 199
12345