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

Publiceret: 2003-06-04

Artikler