Analysing mu-calculus properties of pushdown systems

被引：0
|
作者：
Oxford University, Computing Laboratory, United Kingdom [1 ]
机构：
来源：
Lect. Notes Comput. Sci. | / 187-192期
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Computer software - Flow graphs - Calculations - Temporal logic
引用
收藏
相关论文
共 50 条
  • [21] The Topological Mu-Calculus: completeness and decidability
    Baltag, Alexandru
    Bezhanishvili, Nick
    Fernandez-Duque, David
    2021 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2021,
  • [22] Mu-Calculus Satisfiability with Arithmetic Constraints
    Limon, Y.
    Barcenas, E.
    Benitez-Guerrero, E.
    Castillo, G. Molero
    Velazquez-Mena, A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2020, 46 (08) : 503 - 510
  • [23] An approximation semantics for the propositional mu-calculus
    Villemaire, R
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2002, 2002, 2420 : 637 - 649
  • [24] The Topological Mu-Calculus: Completeness and Decidability
    Baltag, Alexandru
    Bezhanishvili, Nick
    Fernandez-Duque, David
    JOURNAL OF THE ACM, 2023, 70 (05)
  • [25] REAL-TIME AND THE MU-CALCULUS
    EMERSON, EA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 176 - 194
  • [26] Symmetry Reduction for the Local Mu-Calculus
    Namjoshi, Kedar S.
    Trefler, Richard J.
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 379 - 395
  • [27] Mu-Calculus Satisfiability with Arithmetic Constraints
    Y. Limón
    E. Bárcenas
    E. Benítez-Guerrero
    G. Molero Castillo
    A. Velázquez-Mena
    Programming and Computer Software, 2020, 46 : 503 - 510
  • [28] Sahlqvist Correspondence for Modal mu-calculus
    van Benthem, Johan
    Bezhanishvili, Nick
    Hodkinson, Ian
    STUDIA LOGICA, 2012, 100 (1-2) : 31 - 60
  • [29] DUALITY AND THE COMPLETENESS OF THE MODAL MU-CALCULUS
    AMBLER, S
    KWIATKOWSKA, M
    MEASOR, N
    THEORETICAL COMPUTER SCIENCE, 1995, 151 (01) : 3 - 27
  • [30] mu-Calculus Model Checking in Maude
    Wang, Bow-Yaw
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 117 : 135 - 152
12345