Subject
General Computer Science,Theoretical Computer Science
Reference27 articles.
1. Recursive process definitions with the state operator;Baeten;Theoret. Comput. Sci.,1991
2. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten,1987
3. Decidability of bisimulation equivalence for processes generating context-free languages;Baeten;J. Assoc. Comput. Machinery,1993
4. An elementary decision procedure for arbitrary context-free processes;Burkart,1994
5. Bisimulation collapse and the process taxonomy;Burkart,1996
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献