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 条
  • [41] A Monitoring Tool for a Branching-Time Logic
    Attard, Duncan Paul
    Francalanza, Adrian
    RUNTIME VERIFICATION, (RV 2016), 2016, 10012 : 473 - 481
  • [42] Axiomatization of a Branching Time Logic with Indistinguishability Relations
    Gatto, Alberto
    JOURNAL OF PHILOSOPHICAL LOGIC, 2016, 45 (02) : 155 - 182
  • [43] Axiomatization of a Branching Time Logic with Indistinguishability Relations
    Alberto Gatto
    Journal of Philosophical Logic, 2016, 45 : 155 - 182
  • [44] Time window temporal logic
    Vasile, Cristian-Ioan
    Aksaray, Derya
    Belta, Calin
    THEORETICAL COMPUTER SCIENCE, 2017, 691 : 27 - 54
  • [45] COMPARING LINEAR AND BRANCHING TIME TEMPORAL LOGICS
    STIRLING, C
    TEMPORAL LOGIC IN SPECIFICATION, 1989, 398 : 1 - 20
  • [46] COMPARING LINEAR AND BRANCHING TIME TEMPORAL LOGICS
    STIRLING, C
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 398 : 1 - 20
  • [47] A branching time temporal framework for quantitative reasoning
    Chatterjee, K
    Dasgupta, P
    Chakrabarti, PP
    JOURNAL OF AUTOMATED REASONING, 2003, 30 (02) : 205 - 232
  • [48] An implementation of inference in temporal branching time models
    A. P. Eremeev
    I. E. Kurilenko
    Journal of Computer and Systems Sciences International, 2017, 56 : 105 - 124
  • [49] An implementation of inference in temporal branching time models
    Eremeev, A. P.
    Kurilenko, I. E.
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 2017, 56 (01) : 105 - 124
  • [50] Cactus: A branching-time logic programming language
    Rondogiannis, P
    Gergatsoulis, M
    Panayiotopoulos, T
    QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, 1997, 1244 : 511 - 524
12345