Undecidability of Weak Bisimilarity for Pushdown Processes.

Jir Srba

Browse the full CONCUR paper archive.