CCS with Hennessy's Merge has no Finite Equational Axiomatization

Luca Aceto, W. J. Fokkink, Anna Ingolfsdottir, B. Luttik

Institut for Datalogi

Publikation: Working paper/Preprint › Working paper › Forskning

Originalsprog	Engelsk
Sider	37
Status	Udgivet - 2003

Adgang til dokumentet

http://www.brics.dk/RS/03/34/index.html

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater