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

Cached

Download Links

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