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. CoRR, abs/cs/0608001, 2006. [doi]

Abstract

Abstract is missing.