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 条
  • [41] Quantitative verification and control via the Mu-calculus
    de Alfaro, L
    CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 103 - 127
  • [42] Toupie equals mu-calculus plus constraints
    Rauzy, A
    COMPUTER AIDED VERIFICATION, 1995, 939 : 114 - 126
  • [43] Enriching OCL using observational mu-calculus
    Bradfield, J
    Filipe, JK
    Stevens, P
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 203 - 217
  • [44] Value of a classical integer in lambda mu-calculus
    Nour, K
    ARCHIVE FOR MATHEMATICAL LOGIC, 1997, 36 (06) : 461 - 473
  • [45] LOCAL MODEL CHECKING IN THE MODAL MU-CALCULUS
    STIRLING, C
    WALKER, D
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 369 - 383
  • [46] Methods for mu-calculus model checking: A tutorial
    Emerson, EA
    COMPUTER AIDED VERIFICATION, 1995, 939 : 141 - 141
  • [47] ON MODAL MU-CALCULUS AND BUCHI TREE AUTOMATA
    KAIVOLA, R
    INFORMATION PROCESSING LETTERS, 1995, 54 (01) : 17 - 22
  • [48] Continuation models are universal for lambda mu-calculus
    Hofmann, M
    Streicher, T
    12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 387 - 395
  • [49] The maximum length of MU-reduction in lambda MU-calculus
    Tatsuta, Makoto
    TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2007, 4533 : 359 - 373
  • [50] Simplifying the modal mu-calculus alternation hierarchy
    Bradfield, JC
    STACS 98 - 15TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1998, 1373 : 39 - 49
12345