Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME.

Wojciech Czerwinski, Petr Jancar

Browse the full LICS paper archive.