Bisimilarity is not Finitely Based over BPA with Interrupt

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

Research output: Working paperResearch

Original languageEnglish
Publication statusPublished - 2004

Cite this