DMCA

CCS with Hennessy’s merge has no finite equational axiomatization (2005)

by Luca Aceto , Wan Fokkink , Anna Ingólfsdóttir , Bas Luttik
Venue:Theoretical Computer Science
Citations:16 - 15 self