Return to Article Details
A Finite Equational Base for CCS with Left Merge and Communication Merge
Download
Download PDF