Decidability of Bisimulation Equivalence for Normed Pushdown Processes.

Colin Stirling

Browse the full CONCUR paper archive.