THE PROPOSITIONAL MU-CALCULUS IS ELEMENTARY

被引：0
|
作者：
STREETT, RS [1 ]
EMERSON, EA [1 ]
机构：
[1] UNIV TEXAS,DEPT COMP SCI,AUSTIN,TX 78712
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 172卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：465 / 472
页数：8
相关论文
共 50 条
  • [31] An Infinitary Treatment of Full Mu-Calculus
    Afshari, Bahareh
    Jager, Gerhard
    Leigh, Graham E.
    [J]. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 17 - 34
  • [32] 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
  • [33] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
    STIRLING, C
    WALKER, D
    [J]. THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 161 - 177
  • [34] State focusing: Lazy abstraction for the Mu-calculus
    Fecher, Harald
    Shoham, Sharon
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 95 - +
  • [35] Analysing Mu-Calculus Properties of Pushdown Systems
    Hague, Matthew
    Ong, C. -H. Luke
    [J]. MODEL CHECKING SOFTWARE, 2010, 6349 : 187 - 192
  • [36] Quantitative verification and control via the Mu-calculus
    de Alfaro, L
    [J]. CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 103 - 127
  • [37] Enriching OCL using observational mu-calculus
    Bradfield, J
    Filipe, JK
    Stevens, P
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 203 - 217
  • [38] Toupie equals mu-calculus plus constraints
    Rauzy, A
    [J]. COMPUTER AIDED VERIFICATION, 1995, 939 : 114 - 126
  • [39] Continuation models are universal for lambda mu-calculus
    Hofmann, M
    Streicher, T
    [J]. 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 387 - 395
  • [40] ON MODAL MU-CALCULUS AND BUCHI TREE AUTOMATA
    KAIVOLA, R
    [J]. INFORMATION PROCESSING LETTERS, 1995, 54 (01) : 17 - 22
12345