Bisimilarity is not Finitely Based over BPA with Interrupt

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

Department of Computer Science

Research output: Working paper › Research

Original language	English
Publication status	Published - 2004

Access to Document

http://www.brics.dk/RS/04/24/

Cite this