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

Luca Aceto
Willem Jan Fokkink
Anna Ingólfsdóttir
Bas Luttik

March 2006

Abstract:

Using the left merge and communication merge from ACP, we present an equational base for the fragment of CCS without restriction and relabelling. Our equational base is finite if the set of actions is finite

Available as PostScript, PDF, DVI.

 

Last modified: 2006-03-07 by webmaster.