Bisimilarity is not Finitely Based over BPA with Interrupt

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Sumit Nain

Institut for Datalogi

Publikation: Working paper/Preprint › Working paper › Forskning

Originalsprog	Engelsk
Status	Udgivet - 2004

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater