CCS with Hennessy's merge has no finite-equational axiomatization

2005

Additional Metadata
THEME	Software (theme 1)
Journal	Chicago Journal of Theoretical Computer Science
Organisation	Software Analysis and Transformation
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	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.

See Also
bookChapter Finite equational bases in process algebra: Results and open questions L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)
bookChapter Finite equational bases in process algebra: Results and open questions L. Aceto (Luca), W.J. Fokkink (Wan), A. Ingólfsdóttir and S.P. Luttik (Bas)

Publication