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

共 50 条

[1] THE TEMPORAL LOGIC OF BRANCHING TIME
BENARI, M
PNUELI, A
MANNA, Z
ACTA INFORMATICA, 1983, 20 (03) : 207 - 226
[2] A CONCURRENT BRANCHING TIME TEMPORAL LOGIC
PENCZEK, W
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 440 : 335 - 354
[3] Branching-time temporal logic and tree automata
Kupferman, O
Grumberg, O
INFORMATION AND COMPUTATION, 1996, 125 (01) : 62 - 69
[4] DECISION PROCEDURES AND EXPRESSIVENESS IN THE TEMPORAL LOGIC OF BRANCHING TIME
EMERSON, EA
HALPERN, JY
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1985, 30 (01) : 1 - 24
[5] A decidable dense branching-time temporal logic
La Torre, S
Napoli, M
FST TCS 2000: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2000, 1974 : 139 - 150
[6] An extended branching-time ockhamist temporal logic
Brown M.
Goranko V.
Journal of Logic, Language and Information, 1999, 8 (2) : 143 - 166
[7] ON THE WEAK ADEQUACY OF BRANCHING-TIME TEMPORAL LOGIC
SCHNOEBELEN, P
PINCHINAT, S
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 432 : 377 - 388
[8] A resolution method for CTL branching-time temporal logic
Bolotov, A
Fisher, M
FOURTH INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 1997, : 20 - 27
[9] Bounded model checking for branching-time temporal logic
Zhou Conghua
Tao Zhihong
Ding Decheng
Wang Lifu
CHINESE JOURNAL OF ELECTRONICS, 2006, 15 (04): : 675 - 678
[10] ON LAMPORT COMPARISON BETWEEN LINEAR AND BRANCHING TIME TEMPORAL LOGIC
GRAF, S
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1984, 18 (04): : 345 - 353

← 1 2 3 4 5 →