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

Published: 2006-01-06

Articles