Deciding Bisimilarity of Full BPA Processes Locally.

Lingyun Luo

Browse the full ATVA paper archive.