Aceto L, Fokkink WJ, Ingólfsdóttir A, Luttik B. Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy’s Merge. BRICS [Internet]. 5. januar 2004 [henvist 16. august 2024];11(1). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21826