Additional Metadata
THEME Software (theme 1)
Publisher Elsevier B.V.
Series Electronic Notes in Theoretical Computer Science
Conference Workshop on Algebraic Process Calculi: The First Twenty-Five Years and Beyond
Aceto, L, Fokkink, W.J, Ingólfsdóttir, A, & Nain, S. (2006). Bisimilarity is not finitely based over BPA with interrupt. In Electronic (pp. 60–81). Elsevier B.V.