Sciweavers

CORR
2006
Springer

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

13 years 11 months ago
A Finite Equational Base for CCS with Left Merge and Communication Merge
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CORR
Authors Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik
Comments (0)