CCS with Hennessy's merge has no finite-equational axiomatization
scientific article; zbMATH DE number 2136583
scientific article