1. Process theory based on bisimulation semantics;Bergstra,1988
2. Model checking for context-free processes;Burkart,1992
3. Pushdown processes: Parallel composition and model checking;Burkart,1994
4. On the transition graphs of automata and grammars;Caucal,1991
5. Alternation;Chandra;J. ACM,1981