Bisimilarity of processes with finite-state systems
Petr Jančar, Antonı́n Kučera · Electronic Notes in Theoretical Computer Science · 1997
We describe a general method for deciding bisimilarity for pairs of processes where one process has finitely many states. We apply this method to pushdown processes and to PA processes. We also demonstrate that the mentioned problem is undecidable for ‘state-extended' PA processes.