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 条
1234