Abstract:
We prove that bisimulation equivalence is decidable for normed pushdown processes.
This report is available in the following formats: