Deciding Bisimilarity between BPA and BPP Processes.

Petr Jancar, Antonn Kucera, Faron Moller

Browse the full CONCUR paper archive.