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

Luca Aceto, Wan J. Fokkink, Anna Inglfsdttir, Bas Luttik

Browse the full ICALP paper archive.