Aceto L, Ésik Z, Ingólfsdóttir A. Equational Axioms for Probabilistic Bisimilarity (Preliminary Report). BRICS [Internet]. 5. februar 2002 [henvist 13. oktober 2026];9(6). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/21724