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

Fingerprint

Dive into the research topics of 'Bisimilarity is not finitely based over BPA with interrupt'. Together they form a unique fingerprint.

Mathematics

Computer Science