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