Bisimilarity Is Not Finitely Based over BPA with Interrupt.

Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Sumit Nain

Browse the full CALCO paper archive.