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. ACM Trans. Comput. Log., 10(1), 2009. [doi]

Abstract

Abstract is missing.