Yoram Hirshfeld

• A polynomial algorithm for deciding bisimularity of normed context-free processes
• A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes