Abstract   We give NC 1  reduction of bisimulation equivalence for (general) normed context-free processes to the same problem for normed unary context-free processes.
['Dung T. Huynh', 'Lu Tian']
A note on the complexity of deciding bisimilarity of normed unary processes