Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik. A Finite Equational Base for CCS with Left Merge and Communication Merge. CoRR, abs/cs/0608001, 2006. [doi]
@article{abs-cs-0608001,
title = {A Finite Equational Base for CCS with Left Merge and Communication Merge},
author = {Luca Aceto and Wan Fokkink and Anna Ingólfsdóttir and Bas Luttik},
year = {2006},
url = {http://arxiv.org/abs/cs/0608001},
note = {informal publication},
tags = {rule-based},
researchr = {https://researchr.org/publication/abs-cs-0608001},
cites = {0},
citedby = {0},
journal = {CoRR},
volume = {abs/cs/0608001},
}