An elementary bisimulation decision procedure for arbitrary context-free processes
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Bisimulation equivalence is decidable for all context-free processesPublished by Springer Nature ,2006
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- Deciding bisimilarity of normed context-free processes is in Σp2Theoretical Computer Science, 1994
- Process AlgebraPublished by Cambridge University Press (CUP) ,1990
- The linear time - branching time spectrumPublished by Springer Nature ,1990
- A fast algorithm to decide on simple grammars equivalencePublished by Springer Nature ,1989
- Decidability of bisimulation equivalence for processes generating context-free languagesPublished by Springer Nature ,1987
- Notes on Communicating Sequential SystemsPublished by Springer Nature ,1986