CCS, LIVENESS, AND LOCAL MODEL CHECKING IN THE LINEAR TIME MU-CALCULUS

被引：0
|
作者：
STIRLING, C
WALKER, D
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 407卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：166 / 178
页数：13
相关论文
共 50 条
  • [21] Fast Mu-calculus model checking when tree-width is bounded
    Obdrzálek, J
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 80 - 92
  • [22] REAL-TIME AND THE MU-CALCULUS
    EMERSON, EA
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 176 - 194
  • [23] Local abstraction-refinement for the mu-calculus
    Fecher, Harald
    Shoham, Sharon
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2007, 4595 : 4 - +
  • [24] Efficient on-the-fly model-checking for regular alternation-free mu-calculus
    Mateescu, R
    Sighireanu, M
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2003, 46 (03) : 255 - 281
  • [25] A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes
    Kobayashi, Naoki
    Ong, C. -H Luke
    [J]. 24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 179 - +
  • [26] ELEMENTS OF mu-CALCULUS AND THERMODYNAMICS OF mu-BOSE GAS MODEL
    Rebesh, A. P.
    Kachurik, I. I.
    Gavrilik, A. M.
    [J]. UKRAINIAN JOURNAL OF PHYSICS, 2013, 58 (12): : 1182 - 1191
  • [27] UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus
    Holmem, Fredrik
    Leucker, Martin
    Lindstrom, Marcus
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 128 (03) : 91 - 105
  • [28] Symbolic model checking temporal logics of knowledge in multi-agent system via extended mu-calculus
    Wu, Lijun
    Su, Jinshu
    [J]. BIO-INSPIRED COMPUTATIONAL INTELLIGENCE AND APPLICATIONS, 2007, 4688 : 510 - +
  • [29] A graphical μ-calculus and local model checking
    Lin, HM
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (06) : 665 - 671
  • [30] A graphical μ-calculus and local model checking
    Huimin Lin
    [J]. Journal of Computer Science and Technology, 2002, 17 : 665 - 671
12345