Bisimulation equivalence is decidable for all context-free processes, (1995)

by S Christensen, H Huttel, C Stirling
Venue:Information and Computation