The report FIMU-RS-97-02
Bisimilarity of Processes with Finite-state Systems
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.
Please install a newer browser for this site to function properly.