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 |