CCS with Hennessy's merge has no finite-equational axiomatization
Keywords: اصول اخلاقی کامل; 08A70; 03B45; 03C05; 68Q10; 68Q45; 68Q55; 68Q70; Concurrency; Process algebra; CCS; Bisimulation; Hennessy's merge; Left merge; Communication merge; Equational logic; Complete axiomatizations; Non-finitely based algebras;