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 条
  • [21] Probabilistic temporal logics via the modal mu-calculus
    Cleaveland, R
    Iyer, SP
    Narasimha, M
    THEORETICAL COMPUTER SCIENCE, 2005, 342 (2-3) : 316 - 350
  • [22] Selective Mu-calculus and formula-based equivalence of transition systems
    Barbuti, R
    De Francesco, N
    Santone, A
    Vaglini, G
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1999, 59 (03) : 537 - 556
  • [23] Effective Cut-elimination for a Fragment of Modal mu-calculus
    Mints, Grigori
    STUDIA LOGICA, 2012, 100 (1-2) : 279 - 287
  • [24] Syntactic cut-elimination for a fragment of the modal mu-calculus
    Bruennler, Kai
    Studer, Thomas
    ANNALS OF PURE AND APPLIED LOGIC, 2012, 163 (12) : 1838 - 1853
  • [25] Partial-order reduction in the weak modal mu-calculus
    Ramakrishna, YS
    Smolka, SA
    CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 5 - 24
  • [26] Effective Cut-elimination for a Fragment of Modal mu-calculus
    Grigori Mints
    Studia Logica, 2012, 100 : 279 - 287
  • [27] Analysing Mu-Calculus Properties of Pushdown Systems
    Hague, Matthew
    Ong, C. -H. Luke
    MODEL CHECKING SOFTWARE, 2010, 6349 : 187 - 192
  • [28] Games for the mu-calculus
    Niwinski, D
    Walukiewicz, I
    THEORETICAL COMPUTER SCIENCE, 1996, 163 (1-2) : 99 - 116
  • [29] Spatial logic of tangled closure operators and modal mu-calculus
    Goldblatt, Robert
    Hodkinson, Ian
    ANNALS OF PURE AND APPLIED LOGIC, 2017, 168 (05) : 1032 - 1090
  • [30] Bounded game-theoretic semantics for modal mu-calculus
    Hella, Lauri
    Kuusisto, Antti
    Ronnholm, Raine
    INFORMATION AND COMPUTATION, 2022, 289
12345