2005
CCS with Hennessy's merge has no finite-equational axiomatization
Publication
Publication
Chicago Journal of Theoretical Computer Science , Volume 330 - Issue 3 p. 377- 405
Additional Metadata | |
---|---|
Chicago Journal of Theoretical Computer Science | |
Organisation | Software Analysis and Transformation |
Aceto, L, Fokkink, W.J, Ingólfsdóttir, A, & Luttik, S.P. (2005). CCS with Hennessy's merge has no finite-equational axiomatization. Chicago Journal of Theoretical Computer Science, 330(3), 377–405.
|