Bisimilarity Is Not Finitely Based over BPA with Interrupt

L. Aceto, W.J. Fokkink, A. Ingólfsdóttir, S. Nain

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)52-66
JournalLecture Notes in Computer Science
Publication statusPublished - 2005

Bibliographical note

Proceedings title: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Publisher: Springer
Editors: J.L. Fiadeiro, N. Harman, M. Roggenbach, J.J.M.M. Rutten

Cite this