@article(Abr87,
 author       = "S. Abramsky",
 year         = "1987",
 title        = "Observational Equivalence as a Testing Equivalence",
 journal      = "Theoretical Computer Science",
 volume       = "53",
 pages        = "225--241",
 doi          = "10.1016/0304-3975(87)90065-X",
)
@article(BKHW05,
 author       = "C. Baier and J.-P. Katoen and H. Hermanns and V. Wolf",
 year         = "2005",
 title        = "Comparative Branching-Time Semantics for {M}arkov Chains",
 journal      = "Information and Computation",
 volume       = "200",
 pages        = "149--214",
 doi          = "10.1016/j.ic.2005.03.001",
)
@inproceedings(BDL12,
 author       = "M. Bernardo and R. {De Nicola} and M. Loreti",
 year         = "2012",
 title        = "Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes",
 booktitle    = "Proc.\ of FOSSACS~2012",
 series       = "LNCS",
 volume       = "7213",
 publisher    = "Springer",
 pages        = "195--209",
 doi          = "10.1007/978-3-642-28729-9\_13",
)
@article(BDL13a,
 author       = "M. Bernardo and R. {De Nicola} and M. Loreti",
 year         = "2013",
 title        = "A Uniform Framework for Modeling Nondeterministic, Probabilistic, Stochastic, or Mixed Processes and their Behavioral Equivalences",
 journal      = "Information and Computation",
 volume       = "225",
 pages        = "29--82",
 doi          = "10.1016/j.ic.2013.02.004",
)
@techreport(BDL13c,
 author       = "M. Bernardo and R. {De Nicola} and M. Loreti",
 year         = "2013",
 title        = "Revisiting Bisimilarity and its Modal Logic for Nondeterministic and Probabilistic Processes",
 type         = "Technical Report",
 url          = "http://eprints.imtlucca.it/1553/",
)
@article(BHR84,
 author       = "S.D. Brookes and C.A.R. Hoare and A.W. Roscoe",
 year         = "1984",
 title        = "A Theory of Communicating Sequential Processes",
 journal      = "Journal of the ACM",
 volume       = "31",
 pages        = "560--599",
 doi          = "10.1145/828.833",
)
@article(CDSY99,
 author       = "R. Cleaveland and Z. Dayar and S.A. Smolka and S. Yuen",
 year         = "1999",
 title        = "Testing Preorders for Probabilistic Processes",
 journal      = "Information and Computation",
 volume       = "154",
 pages        = "93--148",
 doi          = "10.1006/inco.1999.2808",
)
@article(DMRS08,
 author       = "L. {de Alfaro} and R. Majumdar and V. Raman and M. Stoelinga",
 year         = "2008",
 title        = "Game Refinement Relations and Metrics",
 journal      = "Logical Methods in Computer Science",
 volume       = "4(3:7)",
 pages        = "1--28",
 doi          = "10.2168/LMCS-4(3:7)2008",
)
@article(DeN87,
 author       = "R. {De Nicola}",
 year         = "1987",
 title        = "Extensional Equivalences for Transition Systems",
 journal      = "Acta Informatica",
 volume       = "24",
 pages        = "211--237",
 doi          = "10.1007/BF00264365",
)
@article(DH84,
 author       = "R. {De Nicola} and M. Hennessy",
 year         = "1984",
 title        = "Testing Equivalences for Processes",
 journal      = "Theoretical Computer Science",
 volume       = "34",
 pages        = "83--133",
 doi          = "10.1016/0304-3975(84)90113-0",
)
@article(DGHM08,
 author       = "Y. Deng and R.J. van Glabbeek and M. Hennessy and C. Morgan",
 year         = "2008",
 title        = "Characterising Testing Preorders for Finite Probabilistic Processes",
 journal      = "Logical Methods in Computer Science",
 volume       = "4(4:4)",
 pages        = "1--33",
 doi          = "10.2168/LMCS-4(4:4)2008",
)
@inproceedings(GA10,
 author       = "S. Georgievska and S. Andova",
 year         = "2010",
 title        = "Retaining the Probabilities in Probabilistic Testing Theory",
 booktitle    = "Proc.\ of FOSSACS~2010",
 series       = "LNCS",
 volume       = "6014",
 publisher    = "Springer",
 pages        = "79--93",
 doi          = "10.1007/978-3-642-12032-9\_7",
)
@inproceedings(GJS90,
 author       = "A. Giacalone and C.-C. Jou and S.A. Smolka",
 year         = "1990",
 title        = "Algebraic Reasoning for Probabilistic Concurrent Systems",
 booktitle    = "Proc.\ of PROCOMET~1990",
 publisher    = "North-Holland",
 pages        = "443--458",
 doi          = "10.1.1.56.3664",
)
@inproceedings(Gla01,
 author       = "R.J. van Glabbeek",
 year         = "2001",
 title        = "The Linear Time -- Branching Time Spectrum~{I}",
 booktitle    = "Handbook of Process Algebra",
 publisher    = "Elsevier",
 pages        = "3--99",
 doi          = "10.1016/B978-044482830-9/50019-9",
)
@inproceedings(HJ90,
 author       = "H. Hansson and B. Jonsson",
 year         = "1990",
 title        = "A Calculus for Communicating Systems with Time and Probabilities",
 booktitle    = "Proc.\ of RTSS~1990",
 publisher    = "IEEE-CS Press",
 pages        = "278--287",
 doi          = "10.1109/REAL.1990.128759",
)
@article(HM85,
 author       = "M. Hennessy and R. Milner",
 year         = "1985",
 title        = "Algebraic Laws for Nondeterminism and Concurrency",
 journal      = "Journal of the ACM",
 volume       = "32",
 pages        = "137--162",
 doi          = "10.1145/2455.2460",
)
@article(HT92,
 author       = "D.T. Huynh and L. Tian",
 year         = "1992",
 title        = "On Some Equivalence Relations for Probabilistic Processes",
 journal      = "Fundamenta Informaticae",
 volume       = "17",
 pages        = "211--234",
)
@article(JSM97,
 author       = "H. Jifeng and K. Seidel and A. McIver",
 year         = "1997",
 title        = "Probabilistic Models for the Guarded Command Language",
 journal      = "Science of Computer Programming",
 volume       = "28",
 pages        = "171--192",
 doi          = "10.1016/S0167-6423(96)00019-6",
)
@inproceedings(JY95,
 author       = "B. Jonsson and W. Yi",
 year         = "1995",
 title        = "Compositional Testing Preorders for Probabilistic Processes",
 booktitle    = "Proc.\ of LICS~1995",
 publisher    = "IEEE-CS Press",
 pages        = "431--441",
)
@inproceedings(JS90,
 author       = "C.-C. Jou and S.A. Smolka",
 year         = "1990",
 title        = "Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes",
 booktitle    = "Proc.\ of CONCUR~1990",
 series       = "LNCS",
 volume       = "458",
 publisher    = "Springer",
 pages        = "367--383",
 doi          = "10.1007/BFb0039071",
)
@article(LS91,
 author       = "K.G. Larsen and A. Skou",
 year         = "1991",
 title        = "Bisimulation Through Probabilistic Testing",
 journal      = "Information and Computation",
 volume       = "94",
 pages        = "1--28",
 doi          = "10.1016/0890-5401(91)90030-6",
)
@inproceedings(LN04,
 author       = "N. Lopez and M. Nu{\~{n}}ez",
 year         = "2004",
 title        = "An Overview of Probabilistic Process Algebras and Their Equivalences",
 booktitle    = "Validation of Stochastic Systems",
 series       = "LNCS",
 volume       = "2925",
 publisher    = "Springer",
 pages        = "89--123",
 doi          = "10.1007/978-3-540-24611-4\_3",
)
@article(OH86,
 author       = "E.-R. Olderog and C.A.R. Hoare",
 year         = "1986",
 title        = "Specification-Oriented Semantics for Communicating Processes",
 journal      = "Acta Informatica",
 volume       = "23",
 pages        = "9--66",
 doi          = "10.1007/BF00268075",
)
@inproceedings(PLS00,
 author       = "A. Philippou and I. Lee and O. Sokolsky",
 year         = "2000",
 title        = "Weak Bisimulation for Probabilistic Systems",
 booktitle    = "Proc.\ of CONCUR~2000",
 series       = "LNCS",
 volume       = "1877",
 publisher    = "Springer",
 pages        = "334--349",
 doi          = "10.1007/3-540-44618-4\_25",
)
@book(Seg95a,
 author       = "R. Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-Time Systems",
 publisher    = "PhD Thesis",
)
@inproceedings(Seg95b,
 author       = "R. Segala",
 year         = "1995",
 title        = "A Compositional Trace-Based Semantics for Probabilistic Automata",
 booktitle    = "Proc.\ of CONCUR~1995",
 series       = "LNCS",
 volume       = "962",
 publisher    = "Springer",
 pages        = "234--248",
 doi          = "10.1007/3-540-60218-6\_17",
)
@inproceedings(Seg96,
 author       = "R. Segala",
 year         = "1996",
 title        = "Testing Probabilistic Automata",
 booktitle    = "Proc.\ of the 7th Int.\ Conf.\ on Concurrency Theory (CONCUR~1996)",
 series       = "LNCS",
 volume       = "1119",
 publisher    = "Springer",
 pages        = "299--314",
 doi          = "10.1007/3-540-61604-7\_62",
)
@inproceedings(SL94,
 author       = "R. Segala and N.A. Lynch",
 year         = "1994",
 title        = "Probabilistic Simulations for Probabilistic Processes",
 booktitle    = "Proc.\ of CONCUR~1994",
 series       = "LNCS",
 volume       = "836",
 publisher    = "Springer",
 pages        = "481--496",
 doi          = "10.1007/BFb0015027",
)
@inproceedings(ST05,
 author       = "R. Segala and A. Turrini",
 year         = "2005",
 title        = "Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models",
 booktitle    = "Proc.\ of QEST~2005",
 publisher    = "IEEE-CS Press",
 pages        = "44--53",
 doi          = "10.1109/QEST.2005.9",
)
@inproceedings(SD04,
 author       = "A. Sokolova and E.P. de Vink",
 year         = "2004",
 title        = "Probabilistic Automata: System Types, Parallel Composition and Comparison",
 booktitle    = "Validation of Stochastic Systems",
 series       = "LNCS",
 volume       = "2925",
 publisher    = "Springer",
 pages        = "1--43",
 doi          = "10.1007/978-3-540-24611-4\_1",
)
@inproceedings(SZG11,
 author       = "L. Song and L. Zhang and J.C. Godskesen",
 year         = "2011",
 title        = "Bisimulations Meet {PCTL} Equivalences for Probabilistic Automata",
 booktitle    = "Proc.\ of CONCUR~2011",
 series       = "LNCS",
 volume       = "6901",
 publisher    = "Springer",
 pages        = "108--123",
 doi          = "10.1007/978-3-642-23217-6\_8",
)
@inproceedings(TDZ11,
 author       = "M. Tracol and J. Desharnais and A. Zhioua",
 year         = "2011",
 title        = "Computing Distances Between Probabilistic Automata",
 booktitle    = "Proc.\ of QAPL~2011",
 series       = "EPTCS",
 volume       = "57",
 pages        = "148--162",
 doi          = "10.4204/EPTCS.57.11",
)
@inproceedings(Var85,
 author       = "M.Y. Vardi",
 year         = "1985",
 title        = "Automatic Verification of Probabilistic Concurrent Finite-State Programs",
 booktitle    = "Proc.\ of FOCS~1985",
 publisher    = "IEEE-CS Press",
 pages        = "327--338",
 doi          = "10.1109/SFCS.1985.12",
)
@inproceedings(Wol05,
 author       = "V. Wolf",
 year         = "2005",
 title        = "Testing Theory for Probabilistic Systems",
 booktitle    = "Model-Based Testing of Reactive Systems",
 series       = "LNCS",
 volume       = "3472",
 publisher    = "Springer",
 pages        = "233--275",
 doi          = "10.1007/11498490\_11",
)
@inproceedings(YL92,
 author       = "W. Yi and K.G. Larsen",
 year         = "1992",
 title        = "Testing Probabilistic and Nondeterministic Processes",
 booktitle    = "Proc.\ of PSTV~1992",
 publisher    = "North-Holland",
 pages        = "47--61",
)