Infinite results
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 195-216
- https://doi.org/10.1007/3-540-61604-7_56
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Bisimulation equivalence is decidable for all context-free processesPublished by Springer Nature ,2006
- Bisimulation collapse and the process taxonomyPublished by Springer Nature ,1996
- Bisimulation Equivalence Is Decidable for All Context-Free ProcessesInformation and Computation, 1995
- An elementary bisimulation decision procedure for arbitrary context-free processesPublished by Springer Nature ,1995
- Decidability of bisimulation equivalence for process generating context-free languagesJournal of the ACM, 1993
- Bisimulation equivalence is decidable for basic parallel processesPublished by Springer Nature ,1993
- On the regular structure of prefix rewritingTheoretical Computer Science, 1992
- The linear time - branching time spectrumPublished by Springer Nature ,1990
- Decidability of bisimulation equivalence for processes generating context-free languagesPublished by Springer Nature ,1987
- Algebra of communicating processes with abstractionTheoretical Computer Science, 1985