View of CCS with Hennessy's Merge has no Finite Equational Axiomatization

Return to Article Details CCS with Hennessy's Merge has no Finite Equational Axiomatization Download Download PDF