Aceto, Luca, Willem Jan Fokkink, Anna Ingólfsdóttir, and Bas Luttik. “Split-2 Bisimilarity Has a Finite Axiomatization over CCS With Hennessy’s Merge”. BRICS Report Series 11, no. 1 (January 5, 2004). Accessed February 10, 2026. https://tidsskrift.dk/brics/article/view/21826.