CCS with Hennessy's Merge has no Finite Equational Axiomatization

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

Department of Computer Science

Research output: Working paper/Preprint › Working paper › Research

Original language	English
Pages	37
Publication status	Published - 2003

Access to Document

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

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this