Decidability of bisimulation equivalence for normed pushdown processes

被引：16
作者：
Stirling, C [1 ]
机构：
[1] Univ Edinburgh, Dept Comp Sci, Edinburgh EH9 3JZ, Midlothian, Scotland
来源：
THEORETICAL COMPUTER SCIENCE | 1998年 / 195卷 / 02期
关键词：
bisimulation equivalence; decidability; infinite state systems; pushdown process;
D O I：
10.1016/S0304-3975(97)00216-8
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We prove that bisimulation equivalence is decidable for normed pushdown processes. (C) 1998-Elsevier Science B.V. All rights reserved.
引用
收藏
页码：113 / 131
页数：19
相关论文
共 36 条
  • [21] BRANCHING BISIMILARITY OF NORMED BPA PROCESSES AS A RATIONAL MONOID
    Jancar, Petr
    LOGICAL METHODS IN COMPUTER SCIENCE, 2017, 13 (04)
  • [22] Bisimulation Equivalence of Discrete-Time Stochastic Linear Control Systems
    Pola, Giordano
    Manes, Costanzo
    van der Schaft, Arjan J.
    Di Benedetto, Maria Domenica
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (07) : 1897 - 1912
  • [23] Analysis and control of fuzzy discrete event systems using bisimulation equivalence
    Xing, Hongyan
    Zhang, Qiansheng
    Huang, Kaisheng
    THEORETICAL COMPUTER SCIENCE, 2012, 456 : 100 - 111
  • [24] Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups
    Mishchenko, A. A.
    Treier, A. V.
    ALGEBRA AND LOGIC, 2013, 52 (02) : 147 - 158
  • [25] Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups
    A. A. Mishchenko
    A. V. Treier
    Algebra and Logic, 2013, 52 : 147 - 158
  • [26] On Decidability of the Bisimilarity on Higher-order Processes with Parameterization*
    Xu, Xian
    Zhang, Wenbo
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (339): : 76 - 92
  • [27] On the existence and decidability of unique decompositions of processes in the applied π-calculus
    Dreier, Jannik
    Ene, Cristian
    Lafourcade, Pascal
    Lakhnech, Yassine
    THEORETICAL COMPUTER SCIENCE, 2016, 612 : 102 - 125
  • [28] EXISTENCE AND VERIFICATION FOR DECENTRALIZED NONDETERMINISTIC DISCRETE-EVENT SYSTEMS UNDER BISIMULATION EQUIVALENCE
    Liu, Fuchun
    Zhao, Rui
    Tan, Taizhe
    Zhang, Qiansheng
    ASIAN JOURNAL OF CONTROL, 2016, 18 (05) : 1679 - 1687
  • [29] Decidability of infinite-state timed CCP processes and first-order LTL
    Valencia, FD
    THEORETICAL COMPUTER SCIENCE, 2005, 330 (03) : 577 - 607
  • [30] Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time
    Kot, Martin
    Sawa, Zdenek
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 138 (03) : 49 - 60
1234