THE TEMPORAL SEMANTICS OF CONCURRENT PROGRAMS

被引：298

作者：

PNUELI, A

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(81)90110-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：45 / 60

页数：16

共 24 条

[1] PROVING ASSERTIONS ABOUT PARALLEL PROGRAMS [J].

ASHCROFT, EA .

[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 [J].

FRANCEZ, N ;

PNUELI, A .

[8]

GABBAY D, 1980, 7TH ANN S PRINC PROG

[9]

Gilles K., 1974, INFORM PROCESSING, V74, P471

[10]

GRIES D, TR77314 CORN U TECHN