Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete.

Stefan Gller, Pawel Parys

Browse the full SODA paper archive.