SOMETIMES AND NOT NEVER REVISITED - ON BRANCHING VERSUS LINEAR TIME TEMPORAL LOGIC

被引：524

作者：

EMERSON, EA ^{[1
]}

HALPERN, JY ^{[1
]}

机构：

[1] IBM CORP,RES LAB,SAN JOSE,CA 95193

来源：

关键词：

D O I：

10.1145/4904.4999

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：151 / 178

页数：28

共 35 条

[1]

Abrahamson K. R., 1980, THESIS U WASHINGTON

[2]

BENARI M, 1981, 8TH ANN ACM S PRINC, P164

[3]

Clarke E.M., 1982, LECTURE NOTES COMPUT, V131, P52, DOI DOI 10.1007/BFB0025774

[4]

CLARKE EM, 1983, 10TH ACM S PRINC PRO, P117

[5]

EMERSON E, 1985, 12TH P ANN ACM S PRI, P84

EMERSON, EA ;

CLARKE, EM .

[7] ALTERNATIVE SEMANTICS FOR TEMPORAL LOGICS [J].

EMERSON, EA .

[8] DECIDING FULL BRANCHING TIME LOGIC [J].

EMERSON, EA ;

SISTLA, AP .

INFORMATION AND CONTROL, 1984, 61 (03) :175-201

[9]

EMERSON EA, 1984, RJ4197 IBM RES RES R

[10]

EMERSON EA, 1985, LECTURE NOTES COMPUT, V193, P79