BRANCHING TIME TEMPORAL LOGIC

被引：24

作者：

EMERSON, EA ^{[1
]}

SRINIVASAN, J ^{[1
]}

机构：

[1] EINDHOVEN UNIV TECHNOL,DEPT MATH & COMP SCI,5600 MB EINDHOVEN,NETHERLANDS

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 354卷

关键词：

D O I：

10.1007/BFb0013022

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：123 / 172

页数：50

共 91 条

[21] MODALITIES FOR MODEL CHECKING - BRANCHING TIME LOGIC STRIKES BACK [J].

EMERSON, EA ;

LEI, CL .

SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) :275-306

[22] SOMETIMES AND NOT NEVER REVISITED - ON BRANCHING VERSUS LINEAR TIME TEMPORAL LOGIC [J].

EMERSON, EA ;

HALPERN, JY .

JOURNAL OF THE ACM, 1986, 33 (01) :151-178

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

EMERSON, EA ;

CLARKE, EM .

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

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

EMERSON, EA .

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

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

EMERSON, EA ;

SISTLA, AP .

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

[26] DECISION PROCEDURES AND EXPRESSIVENESS IN THE TEMPORAL LOGIC OF BRANCHING TIME [J].

EMERSON, EA ;

HALPERN, JY .

JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 30 (01) :1-24

[27]

EMERSON EA, 1984, 16TH P ANN ACM S THE, P14

[28]

EMERSON EA, 1982, 14TH P ANN ACM S THE, P1691

[29]

EMERSON EA, 1981, THESIS HARVARD U

[30]

EMERSON EA, 1988, IN PRESS HDB THEORET

← 1 2 3 4 5 6 7 8 9 10 →