Bisimilarity Is Not Finitely Based over BPA with Interrupt

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

Bisimilarity Is Not Finitely Based over BPA with Interrupt

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	52-66
Journal	Lecture Notes in Computer Science
Volume	3629
Publication status	Published - 2005

Bibliographical note

DBLP:conf/calco/AcetoFIN05
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

Persistent URL (handle)

Copy link address

Cite this

@article{bd6ed3ff25864382866f1158842853dc,

title = "Bisimilarity Is Not Finitely Based over BPA with Interrupt",

author = "L. Aceto and W.J. Fokkink and A. Ing{\'o}lfsd{\'o}ttir and S. Nain",

note = "DBLP:conf/calco/AcetoFIN05 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",

year = "2005",

language = "English",

volume = "3629",

pages = "52--66",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Bisimilarity Is Not Finitely Based over BPA with Interrupt

AU - Aceto, L.

AU - Fokkink, W.J.

AU - Ingólfsdóttir, A.

AU - Nain, S.

N1 - DBLP:conf/calco/AcetoFIN05 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

PY - 2005

Y1 - 2005

M3 - Article

SN - 0302-9743

VL - 3629

SP - 52

EP - 66

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -