TY - JOUR AU - Aceto, Luca AU - Fokkink, Willem Jan AU - Ingólfsdóttir, Anna AU - Luttik, Bas PY - 2006/03/12 Y2 - 2024/03/19 TI - A Finite Equational Base for CCS with Left Merge and Communication Merge JF - BRICS Report Series JA - BRICS VL - 13 IS - 6 SE - Articles DO - 10.7146/brics.v13i6.21912 UR - https://tidsskrift.dk/brics/article/view/21912 SP - AB - Using the left merge and communication merge from ACP, we present an equational base for the fragment of CCS without restriction and relabelling. Our equational base is finite if the set of actions is finite. ER -