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 条
  • [31] Quantified mu-calculus for control synthesis
    Riedweg, S
    Pinchinat, S
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2003, PROCEEDINGS, 2003, 2747 : 642 - 651
  • [32] An Axiom System of Probabilistic Mu-Calculus
    Liu, Wanwei
    Xu, Junnan
    Jansen, David N.
    Turrini, Andrea
    Zhang, Lijun
    TSINGHUA SCIENCE AND TECHNOLOGY, 2022, 27 (02) : 372 - 385
  • [33] The Arity Hierarchy in the Polyadic mu-Calculus
    Lange, Martin
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (191): : 105 - 116
  • [34] An Axiom System of Probabilistic Mu-Calculus
    Wanwei Liu
    Junnan Xu
    David N.Jansen
    Andrea Turrini
    Lijun Zhang
    Tsinghua Science and Technology, 2022, 27 (02) : 372 - 385
  • [35] SUCCINCTNESS IN SUBSYSTEMS OF THE SPATIAL mu-CALCULUS
    Fernandez-Duque, David
    Iliev, Petar
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2018, 5 (04): : 827 - 873
  • [36] An Infinitary Treatment of Full Mu-Calculus
    Afshari, Bahareh
    Jager, Gerhard
    Leigh, Graham E.
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 17 - 34
  • [37] 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
  • [38] Simple Probabilistic Extension of Modal Mu-Calculus
    Liu, Wanwei
    Song, Lei
    Wang, Ji
    Zhang, Lijun
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 882 - 888
  • [39] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
    STIRLING, C
    WALKER, D
    THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 161 - 177
  • [40] State focusing: Lazy abstraction for the Mu-calculus
    Fecher, Harald
    Shoham, Sharon
    MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 95 - +
12345