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:19 - 16 self