No. 34 (2003): RS-34 CCS with Hennessy's Merge has no Finite Equational Axiomatization

Published: 2003-06-04

Articles