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 条
  • [41] Creating shared design thinking process for collaborative design
    Du, Junpeng
    Jing, Shikai
    Liu, Jihong
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2012, 35 (01) : 111 - 120
  • [42] Weak state versus strong state: an analysis of a probabilistic state mechanism for dynamic networks
    Acer, Utku Gunay
    Kalyanaraman, Shivkumar
    Abouzeid, Alhussein A.
    WIRELESS NETWORKS, 2014, 20 (04) : 639 - 654
  • [43] Weak state versus strong state: an analysis of a probabilistic state mechanism for dynamic networks
    Utku Günay Acer
    Shivkumar Kalyanaraman
    Alhussein A. Abouzeid
    Wireless Networks, 2014, 20 : 639 - 654
  • [44] Implementing strong sustainability in a design process
    Cisternas, Melissa Escobar
    Faucheu, Jenny
    Troussier, Nadege
    Laforest, Valerie
    CLEANER ENVIRONMENTAL SYSTEMS, 2024, 15
  • [45] TOO WEAK AND TOO STRONG + CURRENT STATE OF THE ITALIAN LEFT
    AGNOLETTI, EE
    PONTE-RIVISTA MENSILE DI POLITICA E LETTERATURA, 1976, 32 (09): : 971 - 974
  • [46] The charge-ordered state from weak to strong coupling
    Ciuchi, S
    de Pasquale, F
    STRIPES AND RELATED PHENOMENA, 2000, : 183 - 189
  • [47] Strong institutions in weak polities: State building in republican China
    McCord, EA
    ANNALS OF THE AMERICAN ACADEMY OF POLITICAL AND SOCIAL SCIENCE, 1999, 566 : 168 - 169
  • [48] Charge-ordered state from weak to strong coupling
    Ciuchi, S
    de Pasquale, F
    PHYSICAL REVIEW B, 1999, 59 (08): : 5431 - 5440
  • [49] The Strong 'Weak State': French Statebuilding and Military Rule in Mali
    Gazeley, Joe
    JOURNAL OF INTERVENTION AND STATEBUILDING, 2022, 16 (03) : 269 - 286
  • [50] CONCEPTUALIZING STATE STRENGTH: MOVING BEYOND STRONG AND WEAK STATES
    Giraudy, Agustina
    REVISTA DE CIENCIA POLITICA, 2012, 32 (03): : 599 - 611
12345