Branching Bisimilarity on Normed BPA Is EXPTIME-Complete.

Chaodong He, Mingzhang Huang

Browse the full LICS paper archive.