A Finite Equational Base for CCS with Left Merge and Communication Merge

Luca Aceto Wan Fokkink Anna Ingólfsdóttir Bas Luttik A Finite Equational Base for CCS with Left Merge and Communication Merge http://arxiv.org/abs/cs/0608001 2006 CoRR abs/cs/0608001 db/journals/corr/corr0608.html#abs-cs-0608001 informal publication