A finite equational base for CCS with left merge and communication merge

by Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik