CCS with Hennessy's merge has no finite equational axiomatization
- L. Aceto
- , W.J. Fokkink
- , A. Ingólfsdóttir
- , B. Luttik
Research output: Book/Report › Report › Academic
117
Downloads
(Pure)