A finite equational base for CCS with left merge and communication merge (0)

by L Aceto, W Fokkink, A Ingolfsdottir, B Luttik
Venue:ACM Trans. Comput. Log