Return to Article Details A Finite Equational Base for CCS with Left Merge and Communication Merge Download Download PDF