TY  - RPRT
TI  - A Finite Equational Base for CCS with Left Merge and Communication Merge
AU  - Luca Aceto
AU  - Wan Fokkink
AU  - Anna Ingolfsdottir
AU  - Bas Luttik
PY  - 2006
UR  - https://arxiv.org/abs/cs/0608001
ID  - cs/0608001
ER  -