@article(AGT12:tcs,
 author       = {S. Andova and S. Georgievska and N. Trcka},
 year         = {2012},
 title        = {Branching bisimulation congruence for probabilistic systems},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 pages        = {58--72},
 doi          = {10.1016/j.tcs.2011.07.020},
)
@article(AW06:tcs,
 author       = {S. Andova and T.A.C. Willemse},
 year         = {2006},
 title        = {Branching bisimulation for probabilistic systems: Characteristics and decidability},
 journal      = {Theoretical Computer Science},
 volume       = {356},
 pages        = {325--355},
 doi          = {10.1016/j.tcs.2006.02.010},
)
@article(BDH2020:acta,
 author       = {C. Baier and P.R. D'Argenio and H. Hermanns},
 year         = {2020},
 title        = {On the probabilistic bisimulation spectrum with silent moves},
 journal      = {Acta Informatica},
 volume       = {57},
 pages        = {465--512},
 doi          = {10.1007/s00236-020-00379-2},
)
@article(BEM00:jcss,
 author       = {C. Baier and B. Engelen and Majster{-}Cederbaum, M.E.},
 year         = {2000},
 title        = {Deciding bisimilarity and similarity for probabilistic processes},
 journal      = {Journal of Computer Systems and Sciences},
 volume       = {60},
 number       = {1},
 pages        = {187--231},
 doi          = {10.1006/jcss.1999.1683},
)
@article(BK00:mscs,
 author       = {C. Baier and M.Z. Kwiatkowska},
 year         = {2000},
 title        = {Domain equations for probabilistic processes},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {10},
 number       = {6},
 pages        = {665--717},
 doi          = {10.1017/S0960129599002984},
)
@inproceedings(BS01:icalp,
 author       = {E. Bandini and R. Segala},
 year         = {2001},
 title        = {Axiomatizations for Probabilistic Bisimulation},
 editor       = {F. Orejas et al.},
 booktitle    = {Proc.\ ICALP 2001},
 publisher    = {\rm LNCS 2076},
 pages        = {370--381},
 doi          = {10.1007/3-540-48224-5\_31},
)
@article(BW05:tcs,
 author       = {F. Breugel and J. Worrell},
 year         = {2005},
 title        = {A behavioural pseudometric for probabilistic transition systems},
 journal      = {Theoretical Computer Science},
 volume       = {331},
 number       = {1},
 pages        = {115--142},
 doi          = {10.1016/j.tcs.2004.09.035},
)
@inproceedings(CS02:concur,
 author       = {S. Cattani and R. Segala},
 year         = {2002},
 title        = {Decision Algorithms for Probabilistic Bisimulation},
 editor       = {L. Brim et al.},
 booktitle    = {Proc.\ {CONCUR} 2002},
 publisher    = {LNCS 2421},
 pages        = {371--385},
 doi          = {10.1007/3-540-45694-5\_25},
)
@inproceedings(DGHM09,
 author       = {Y. Deng and R.J. van Glabbeek and M. Hennessy and C.C. Morgan},
 year         = {2009},
 title        = {Testing Finitary Probabilistic Processes (extended abstract)},
 editor       = {M. Bravetti and G. Zavattaro},
 booktitle    = {Proc.\ CONCUR'09},
 publisher    = {\rm LNCS 5710},
 pages        = {274--288},
 doi          = {10.1007/978-3-642-04081-8\_19},
)
@inproceedings(DGJP99:concur,
 author       = {J. Desharnais and V. Gupta and R. Jagadeesan and P. Panangaden},
 year         = {1999},
 title        = {Metrics for Labeled {Markov} Systems},
 editor       = {J.C.M. Baeten and S. Mauw},
 booktitle    = {Proc.\ {CONCUR} '99},
 publisher    = {LNCS 1664},
 pages        = {258--273},
 doi          = {10.1007/3-540-48320-9\_19},
)
@inproceedings(EHKTZ13:qest,
 author       = {C. Eisentraut and H. Hermanns and J. Kr\"amer and A. Turrini and L. Zhang},
 year         = {2013},
 title        = {Deciding Bisimilarities on Distributions},
 editor       = {K. Joshi et al.},
 booktitle    = {Proc.\ QEST 2013},
 publisher    = {\rm LNCS 8054},
 pages        = {72--88},
 doi          = {10.1007/978-3-642-40196-1\_6},
)
@article(FHHT16:facs,
 author       = {L. Ferrer Fioriti and V. Hashemi and H. Hermanns and A. Turrini},
 year         = {2016},
 title        = {Deciding probabilistic automata weak bisimulation: theory and practice},
 journal      = {Formal Aspects of Computing},
 volume       = {28},
 number       = {1},
 pages        = {109--143},
 doi          = {10.1007/s00165-016-0356-4},
)
@inproceedings(GJS90:ifip,
 author       = {A. Giacalone and Chi{-}Chang Jou and S.A. Smolka},
 year         = {1990},
 title        = {Algebraic Reasoning for Probabilistic Concurrent Systems},
 editor       = {M. Broy and C.B. Jones},
 booktitle    = {Programming concepts and methods},
 publisher    = {North-Holland},
 pages        = {443--458},
)
@inproceedings(Gir82:cata,
 author       = {M. Giry},
 year         = {1982},
 title        = {A Categorical Approach to Probability Theory},
 editor       = {B. Banaschewski},
 booktitle    = {Categorical Aspects of Topology and Analysis},
 publisher    = {\rm LNM 915},
 pages        = {68--85},
 doi          = {10.1007/BFb0092872},
)
@techreport(GGV19:tue,
 author       = {R.J. van Glabbeek and J.F. Groote and E.P. de Vink},
 year         = {2019},
 title        = {A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice},
 type         = {Technical Report},
 institution  = {Eindhoven University of Technology},
 note         = {Available at \url{http://rvg.web.cse.unsw.edu.au/pub/AxiomProbBranchingBis.pdf}},
)
@incollection(GGV19:fc,
 author       = {R.J. van Glabbeek and J.F. Groote and E.P. de Vink},
 year         = {2019},
 title        = {A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice (extended abstract)},
 editor       = {Alvim et al., M.A.},
 booktitle    = {The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy},
 publisher    = {\rm LNCS 11760},
 pages        = {139--162},
 doi          = {10.1007/978-3-030-31175-9\_9},
)
@inproceedings(GV90:icalp,
 author       = {J.F. Groote and F.W. Vaandrager},
 year         = {1990},
 title        = {An Efficient Algorithm for Branching Bisimulation and Stuttering Equivalence},
 editor       = {M. Paterson},
 booktitle    = {Proc.\ ICALP '90},
 publisher    = {LNCS 443},
 pages        = {626--638},
 doi          = {10.1007/BFb0032063},
)
@article(GRV18:alg,
 author       = {J.F. Groote and H.J. Rivera Verduzco and E.P. de Vink},
 year         = {2018},
 title        = {An efficient algorithm to determine probabilistic bisimulation},
 journal      = {Algorithms},
 volume       = {11},
 number       = {9},
 pages        = {131,1--22},
 doi          = {10.3390/a11090131},
)
@inproceedings(GV19:sg65,
 author       = {J.F. Groote and E.P. de Vink},
 year         = {2019},
 title        = {An Axiomatization of Strong Distribution Bisimulation for a Language with a Parallel Operator and Probabilistic Choice},
 editor       = {M.H. ter Beek and A. Fantechi and L. Semini},
 booktitle    = {From Software Engineering to Formal Methods and Tools, and Back},
 publisher    = {LNCS 11865},
 pages        = {449--463},
 doi          = {10.1007/978-3-030-30985-5\_26},
)
@inproceedings(HJ90:rtss,
 author       = {H. Hansson and B. Jonsson},
 year         = {1990},
 title        = {A Calculus for Communicating Systems with Time and Probabilities},
 booktitle    = {Proc.\ RTSS 1990},
 publisher    = {IEEE},
 pages        = {278--287},
 doi          = {10.1109/REAL.1990.128759},
)
@article(HVB00:entcs,
 author       = {J.I. den Hartog and E.P. de Vink and J.W. de Bakker},
 year         = {2000},
 title        = {Metric semantics and full abstractness for action refinement and probabilistic choice},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {40},
 pages        = {72--99},
 doi          = {10.1016/S1571-0661(05)80038-6},
)
@article(Hen12:facj,
 author       = {M. Hennessy},
 year         = {2012},
 title        = {Exploring probabilistic bisimulations, part~{I}},
 journal      = {Formal Aspects of Computing},
 volume       = {24},
 pages        = {749--768},
 doi          = {10.1007/s00165-012-0242-7},
)
@book(Lan97:utm,
 author       = {S. Lang},
 year         = {1997},
 title        = {Undergraduate Analysis (2nd ed.)},
 series       = {Undergraduate Texts in Mathmatics},
 publisher    = {Springer},
 doi          = {10.1007/978-1-4757-2698-5},
)
@inproceedings(LV16,
 author       = {M.D. Lee and E.P. de Vink},
 year         = {2016},
 title        = {Logical Characterization of Bisimulation for Transition Relations over Probability Distributions with Internal Actions},
 editor       = {P. Faliszewski and A. Muscholl and R. Niedermeier},
 booktitle    = {Proc.\ {MFCS} 2016},
 publisher    = {{\rm LIPIcs 58}},
 pages        = {29:1--29:14},
 doi          = {10.4230/LIPIcs.MFCS.2016.29},
)
@phdthesis(Nor97:phd,
 author       = {G.J. Norman},
 year         = {1997},
 title        = {Metric Semantics for Probabilistic Systems},
 school       = {Universith of Birmingham},
)
@phdthesis(Seg95:thesis,
 author       = {R. Segala},
 year         = {1995},
 title        = {Modeling and Verification of Randomized Distributed Real-Time Systems},
 school       = {MIT},
 note         = {Technical Report MIT/LCS/TR--676},
)
@inproceedings(SL94:concur,
 author       = {R. Segala and N.A. Lynch},
 year         = {1994},
 title        = {Probabilistic simulations for probabilistic processes},
 editor       = {B. Jonsson and J. Parrow},
 booktitle    = {Proc.\ CONCUR 94},
 publisher    = {\rm LNCS 836},
 pages        = {481--496},
 doi          = {10.1007/978-3-540-48654-1\_35},
)
@phdthesis(Sto02:phd,
 author       = {M. Stoelinga},
 year         = {2002},
 title        = {\emph{Alea Jacta est}: Verification of probabilistic, real-time and parametric systems},
 school       = {Radboud Universiteit},
)
@article(TH15:ic,
 author       = {A. Turrini and H. Hermanns},
 year         = {2015},
 title        = {Polynomial time decision algorithms for probabilistic automata},
 journal      = {Information and Computation},
 volume       = {244},
 pages        = {134--171},
 doi          = {10.1016/j.ic.2015.07.004},
)