Nr. 6 (2006): RS-6 A Finite Equational Base for CCS with Left Merge and Communication Merge

Publiceret: 2006-01-06

Artikler