THE TEMPORAL SEMANTICS OF CONCURRENT PROGRAMS

被引：298
作者：
PNUELI, A
机构：
来源：
THEORETICAL COMPUTER SCIENCE | 1981年 / 13卷 / 01期
关键词：
D O I：
10.1016/0304-3975(81)90110-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：45 / 60
页数：16
相关论文
共 24 条
  • [1] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS
    ASHCROFT, EA
    [J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1975, 10 (01) : 110 - 135
  • [2] ASHCROFT EA, 1977, INFORMATION PROCESSI, P723
  • [3] BUCHI JR, 1960, INT C LOGIC METHODOL
  • [4] Bull R.A., 1965, J SYMBOLIC LOGIC, V30, P58
  • [5] Burstall R.M., 1970, MACHINE INTELLIGENCE, V5, P79
  • [6] Dummett M.A.E., 1959, Z F R MATHEMATISCHE, V5, P250
  • [7] PROOF METHOD FOR CYCLIC PROGRAMS
    FRANCEZ, N
    PNUELI, A
    [J]. ACTA INFORMATICA, 1978, 9 (02) : 133 - 157
  • [8] GABBAY D, 1980, 7TH ANN S PRINC PROG
  • [9] Gilles K., 1974, INFORM PROCESSING, V74, P471
  • [10] GRIES D, TR77314 CORN U TECHN
123