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

by L Aceto, W Fokkink, A Ingolfsdottir, B Luttik
Venue:In Proceedings 33rd Colloquium on Automata, Languages and Programming (ICALP’06