Aceto L, Ésik Z, Ingólfsdóttir A. Equational Axioms for Probabilistic Bisimilarity (Preliminary Report). BRICS [Internet]. 2002 Feb. 5 [cited 2024 Apr. 25];9(6). Available from: https://tidsskrift.dk/brics/article/view/21724