Tilbage til artikeldetaljer Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) Download Download PDF