ALTERNATIVE SEMANTICS FOR TEMPORAL LOGICS

被引：36

作者：

EMERSON, EA

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(83)90082-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：121 / 130

页数：10

共 10 条

[1]

Abrahamson K. R., 1980, THESIS U WASHINGTON

[2]

BENARI M, 1981, 8TH ANN ACM S PRINC

[3]

EMERSON EA, 1982, 14TH ANN ACM S THEOR

[4]

EMERSON EA, 1980, LECTURE NOTES COMPUT, V85

[5]

HAREL D, 1980, 21ST ANN S F COMP SC

[6]

LAMPORT L, 1980, 7TH ANN ACM S PRINC

[7]

MANNA Z, 1979, LECTURE NOTES COMPUT, V71

[8] THE TEMPORAL SEMANTICS OF CONCURRENT PROGRAMS [J].

PNUELI, A .

[9]

PNUELI A, 1977, 19TH ANN S F COMP SC

[10]

PRATT VR, 1979, 6TH P ANN ACM S PRIN