View of Equational Axioms for Probabilistic Bisimilarity (Preliminary Report)

Return to Article Details Equational Axioms for Probabilistic Bisimilarity (Preliminary Report) Download Download PDF