Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Sumit Nain. Bisimilarity Is Not Finitely Based over BPA with Interrupt. In José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten, editors, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Volume 3629 of Lecture Notes in Computer Science, pages 52-66, Springer, 2005. [doi]
Abstract is missing.