A modal mu-calculus for durational transition systems

被引：3
|
作者：
Seidl, H [1 ]
机构：
[1] UNIV TRIER,FB INFORMAT 4,D-54286 TRIER,GERMANY
来源：
11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/LICS.1996.561312
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
下载
收藏
页码：128 / 137
页数：10
相关论文
共 50 条
  • [31] Domain mu-calculus
    Zhang, GQ
    RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2003, 37 (04): : 337 - 364
  • [32] Analysing mu-calculus properties of pushdown systems
    Oxford University, Computing Laboratory, United Kingdom
    Lect. Notes Comput. Sci., (187-192):
  • [33] Lukasiewicz mu-calculus
    Mio, Matteo
    Simpson, Alex
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (126): : 87 - 104
  • [34] The Horn mu-calculus
    Charatonik, W
    McAllester, D
    Niwinski, D
    Podelski, A
    Walukiewicz, I
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 58 - 69
  • [35] Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus
    Afshari, Bahareh
    Leigh, Graham E.
    Turata, Guillermo Menendez
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2021, 2021, 12842 : 335 - 353
  • [36] Model checking the full modal mu-calculus for infinite sequential processes
    Burkart, O
    Steffen, B
    THEORETICAL COMPUTER SCIENCE, 1999, 221 (1-2) : 251 - 270
  • [37] Modal Mu-calculus Extension with Description of Autonomy and Its Algebraic Structure
    Yamasaki, Susumu
    Sasakura, Mariko
    PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON COMPLEXITY, FUTURE INFORMATION SYSTEMS AND RISK (COMPLEXIS), 2020, : 63 - 71
  • [38] COMPLEXITY OF MODEL CHECKING RECURSION SCHEMES FOR FRAGMENTS OF THE MODAL MU-CALCULUS
    Kobayashi, Naoki
    Ong, C-H Luke
    LOGICAL METHODS IN COMPUTER SCIENCE, 2011, 7 (04) : 1 - 23
  • [39] Continuous Fragment of the mu-Calculus
    Fontaine, Gaelle
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 139 - 153
  • [40] Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
    Kobayashi, Naoki
    Ong, C. -H. Luke
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 223 - +
12345