Visning af: A Finite Equational Base for CCS with Left Merge and Communication Merge

Tilbage til artikeldetaljer A Finite Equational Base for CCS with Left Merge and Communication Merge Download Download PDF