DECISION PROCEDURES AND EXPRESSIVENESS IN THE TEMPORAL LOGIC OF BRANCHING TIME

被引：189

作者：

EMERSON, EA ^{[1
]}

HALPERN, JY ^{[1
]}

机构：

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

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1985年 / 30卷 / 01期

关键词：

* This is an expanded version of a paper with the same title which was given at the 14th Annual ACM Symposium on Theory of Computing; San Francisco; California; May; 5-7; 1982. ’ Partially supported by NSF Grant MCS79-08365. t Partially supported by NSF Grant MCS80-10707 and a grant from the National Science and Engineering Research Council of Canada. Most of this work was done while a visiting scientist jointly at MIT and Harvard;

D O I：

10.1016/0022-0000(85)90001-7

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：1 / 24

页数：24

共 21 条

[1]

Abrahamson K. R., 1980, THESIS U WASHINGTON

[2] DETERMINISTIC PROPOSITIONAL DYNAMIC LOGIC - FINITE-MODELS, COMPLEXITY, AND COMPLETENESS [J].

BENARI, M ;

HALPERN, JY ;

PNUELI, A .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1982, 25 (03) :402-417

[3]

BENARI M, 1981 P ANN ACM S PRI, P164

[4]

BENARI M, 1981 INT C AUT LANG, P249

[5]

BENARI M, COMMUNICATION

[6] USING BRANCHING TIME TEMPORAL LOGIC TO SYNTHESIZE SYNCHRONIZATION SKELETONS [J].

EMERSON, EA ;

CLARKE, EM .

SCIENCE OF COMPUTER PROGRAMMING, 1982, 2 (03) :241-266

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

EMERSON, EA .

THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) :121-130

[8]

EMERSON EA, 1983 P ANN ACM S PRI, P127

[9]

EMERSON EA, 1980 INT C AUT LANG, P169

[10]

EMERSON EA, 1981, TR182 U TEX TECH REP

← 1 2 3 →