Paper Details



Undecidability of Weak Bisimilarity for Pushdown Processes
Jiri Srba

We prove undecidability of the problem whether a given pair of pushdown processes is weakly bisimilar. We also show that this undecidability result extends to a subclass of pushdown processes satisfying the normedness condition.

concur02@fi.muni.cz