Bas Luttik. CCS with Hennessy’s merge has no finite equational axiomatization (2003)

by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir