LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS

被引：0
|
作者：
STIRLING, C
WALKER, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 351卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：369 / 383
页数：15
相关论文
共 50 条
  • [21] A LINEAR-TIME MODEL-CHECKING ALGORITHM FOR THE ALTERNATION-FREE MODAL MU-CALCULUS
    CLEAVELAND, R
    STEFFEN, B
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 1993, 2 (02) : 121 - 147
  • [22] A LINEAR-TIME MODEL-CHECKING ALGORITHM FOR THE ALTERNATION-FREE MODAL MU-CALCULUS
    CLEAVELAND, R
    STEFFEN, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 575 : 48 - 58
  • [23] Linear-time model-checking algorithm for the alternation-free modal mu-calculus
    [J]. Cleaveland, Rance, 1600, (02):
  • [24] Simple Probabilistic Extension of Modal Mu-Calculus
    Liu, Wanwei
    Song, Lei
    Wang, Ji
    Zhang, Lijun
    [J]. PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 882 - 888
  • [25] ON MODAL MU-CALCULUS AND BUCHI TREE AUTOMATA
    KAIVOLA, R
    [J]. INFORMATION PROCESSING LETTERS, 1995, 54 (01) : 17 - 22
  • [26] A modal mu-calculus for durational transition systems
    Seidl, H
    [J]. 11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 128 - 137
  • [27] Algorithmic correspondence for intuitionistic modal mu-calculus
    Conradie, Willem
    Fomatati, Yves
    Palmigiano, Alessandra
    Sourabh, Sumit
    [J]. THEORETICAL COMPUTER SCIENCE, 2015, 564 : 30 - 62
  • [28] Simplifying the modal mu-calculus alternation hierarchy
    Bradfield, JC
    [J]. STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 39 - 49
  • [29] The modal mu-calculus alternation hierarchy is strict
    Bradfield, JC
    [J]. THEORETICAL COMPUTER SCIENCE, 1998, 195 (02) : 133 - 153
  • [30] A Proof System with Names for Modal Mu-calculus
    Stirling, Colin
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 18 - 29
12345