Decidability of Weak Bisimilarity for a Subset of BPA

Haiyan Chen. Decidability of Weak Bisimilarity for a Subset of BPA. Electronic Notes in Theoretical Computer Science, 212:241-255, 2008. [doi]

Abstract

Abstract is missing.