APA (7th ed.) Citation

Aceto, L., Fokkink, W., Ingólfsdóttir, A., & Luttik, B. (2005). CCS with Hennessy's merge has no finite-equational axiomatization. Theoretical computer science, 330(3), 377-405. https://doi.org/10.1016/j.tcs.2004.10.003

Chicago Style (17th ed.) Citation

Aceto, Luca, Wan Fokkink, Anna Ingólfsdóttir, and Bas Luttik. "CCS with Hennessy's Merge Has No Finite-equational Axiomatization." Theoretical Computer Science 330, no. 3 (2005): 377-405. https://doi.org/10.1016/j.tcs.2004.10.003.

MLA (9th ed.) Citation

Aceto, Luca, et al. "CCS with Hennessy's Merge Has No Finite-equational Axiomatization." Theoretical Computer Science, vol. 330, no. 3, 2005, pp. 377-405, https://doi.org/10.1016/j.tcs.2004.10.003.