Reachability of Hennessy-Milner properties for weakly extended PRS

被引：0
|
作者：
Kretínsky, M [1 ]
Rehák, V [1 ]
Strejcek, J [1 ]
机构：
[1] Masaryk Univ, Fac Informat, Brno, Czech Republic
来源：
FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS | 2005年 / 3821卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We examine the problem whether a given weakly extended process rewrite system (wPRS) contains a reachable state satisfying a given formula of Hennessy-Milner logic. We show that this problem is decidable. As a corollary we observe that the problem of strong bisimilarity between wPRS and finite-state systems is decidable. Decidability of the same problem for wPRS subclasses, namely PAN and PRS, has been formulated as an open question, see e.g. [Srb02]. We also strengthen some related undecidability results on some PRS subclasses.
引用
收藏
页码：213 / 224
页数：12
相关论文
共 26 条
  • [1] Hennessy-Milner properties via topological compactness
    de Groot, Jim
    Pattinson, Dirk
    INFORMATION AND COMPUTATION, 2022, 287
  • [2] Maximal Synthesis for Hennessy-Milner Logic
    Van Hulst, A. C.
    Reniers, M. A.
    Fokkink, W. J.
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2015, 14 (01)
  • [3] Testing Hennessy-Milner logic with recursion
    Aceto, L
    Ingólfsdóttir, A
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, 1999, 1578 : 41 - 55
  • [4] Characteristic invariants in Hennessy-Milner logic
    Jasper, Marc
    Schlueter, Maximilian
    Steffen, Bernhard
    ACTA INFORMATICA, 2020, 57 (3-5) : 671 - 687
  • [5] Final coalgebras and the Hennessy-Milner property
    Goldblatt, R
    ANNALS OF PURE AND APPLIED LOGIC, 2006, 138 (1-3) : 77 - 93
  • [6] Monitorability for the Hennessy-Milner logic with recursion
    Francalanza, Adrian
    Aceto, Luca
    Ingolfsdottir, Anna
    FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (01) : 87 - 116
  • [7] Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic
    De Groot, Jim
    Pattinson, Dirk
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 161 - 176
  • [8] Hennessy-Milner Results for Probabilistic PDL
    Gu, Tao
    Silva, Alexandra
    Zanasi, Fabio
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2020, 352 (352) : 283 - 304
  • [9] Maximal Synthesis for Hennessy-Milner Logic
    van Hulst, A. C.
    Reniers, M. A.
    Fokkink, W. J.
    2013 13TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN (ACSD 2013), 2013, : 1 - 10
  • [10] Decidable extensions of Hennessy-Milner logic
    Mardare, Radu
    Priami, Corrado
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006, 2006, 4229 : 196 - 211
123