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

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