Modifications of Expansion Trees for Weak Bisimulation in BPA

Jitka Stríbrná, Ivana Cerná. Modifications of Expansion Trees for Weak Bisimulation in BPA. Electronic Notes in Theoretical Computer Science, 68(6):19-39, 2002. [doi]

Abstract

Abstract is missing.