BRANCHING TIME TEMPORAL LOGIC

被引:24
作者
EMERSON, EA [1 ]
SRINIVASAN, J [1 ]
机构
[1] EINDHOVEN UNIV TECHNOL,DEPT MATH & COMP SCI,5600 MB EINDHOVEN,NETHERLANDS
关键词
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