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
BENARI, M
HALPERN, JY
PNUELI, A
[J]. 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
EMERSON, EA
CLARKE, EM
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1982, 2 (03) : 241 - 266
[7] ALTERNATIVE SEMANTICS FOR TEMPORAL LOGICS
EMERSON, EA
[J]. 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 →