2006
Bisimilarity is not finitely based over BPA with interrupt
Publication
Publication
Presented at the
Workshop on Algebraic Process Calculi: The First Twenty-Five Years and Beyond, Bertinoro
| 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 |
| Citation |
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.
|