(1)
Aceto, L.; Fokkink, W.; Ingólfsdóttir, A.; Luttik, B. A Finite Equational Base for CCS With Left Merge and Communication Merge. BRICS 2006, 13.