Additional Metadata
THEME Software (theme 1)
Publisher Springer Berlin / Heidelberg
Conference International Colloquium on Automata, Languages and Programming
Citation
Aceto, L, Fokkink, W.J, Ingólfsdóttir, A, & Luttik, S.P. (2006). A finite equational base for CCS with left merge and communication merge. In Proceedings of the 33rd Colloquium on Automata, Languages and Programming (pp. 492–503). Springer Berlin / Heidelberg.