Aceto, L.; Fokkink, W. J.; Ingólfsdóttir, A.; Luttik, B. CCS With Hennessy’s Merge Has No Finite Equational Axiomatization. BRICS 2003, 10.