@article(DNH84,
 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(lmcs,
 author       = "Y. Deng and R.J. van Glabbeek and M. Hennessy and C.C. Morgan",
 year         = "2008",
 title        = "Characterising testing preorders for finite probabilistic processes",
 journal      = "Logical Methods in Computer Science",
 volume       = "4",
 number       = "4",
 eid          = "4",
 doi          = "10.2168/LMCS-4(4:4)2008",
)
@inproceedings(concur,
 author       = "Y. Deng and R.J. van Glabbeek and M. Hennessy and C.C. Morgan",
 year         = "2009",
 title        = "Testing finitary probabilistic processes",
 booktitle    = "{\rm Proc.} CONCUR'09",
 series       = "\rm LNCS",
 volume       = "5710",
 publisher    = "Springer",
 pages        = "274--288",
 doi          = "10.1007/978-3-642-04081-8_19",
)
@misc(full,
 author       = "Y. Deng and R.J. van Glabbeek and M. Hennessy and C.C. Morgan",
 year         = "2010",
 title        = "Real Reward Testing for Probabilistic Processes",
 howpublished = "Full version of the current paper",
 url          = "http://basics.sjtu.edu.cn/~yuxin/temp/reward.pdf",
)
@article(gdpf,
 author       = "Y. Deng and R.J. van Glabbeek and M. Hennessy and C.C. Morgan and C. Zhang",
 year         = "2007",
 title        = "Remarks on Testing Probabilistic Processes",
 journal      = "ENTCS",
 volume       = "172",
 pages        = "359--397",
 doi          = "10.1016/j.entcs.2007.02.013",
)
@inproceedings(esop,
 author       = "Y. Deng and R.J. van Glabbeek and C.C. Morgan and C. Zhang",
 year         = "2007",
 title        = "Scalar Outcomes Suffice for Finitary Probabilistic Testing",
 booktitle    = "{\rm Proceedings} ESOP'07",
 series       = "\rm LNCS",
 volume       = "4421",
 publisher    = "Springer",
 pages        = "363--368",
 doi          = "10.1007/978-3-540-71316-6_25",
)
@book(henn,
 author       = "M. Hennessy",
 year         = "1988",
 title        = "An Algebraic Theory of Processes",
 publisher    = "MIT Press",
)
@inproceedings(JHW94,
 author       = "B. Jonsson and C. Ho-Stuart and Wang Yi",
 year         = "1994",
 title        = "Testing and Refinement for Nondeterministic and Probabilistic Processes",
 booktitle    = "{\rm Proceedings} FTRTFT'94",
 series       = "\rm LNCS",
 volume       = "863",
 publisher    = "Springer",
 pages        = "418--430",
 doi          = "10.1007/3-540-58468-4_176",
)
@book(Put94,
 author       = "M.L. Puterman",
 year         = "1994",
 title        = "Markov Decision Processes",
 publisher    = "Wiley",
 doi          = "10.1002/9780470316887",
)
@book(KNP04,
 author       = "J.J.M.M. Rutten and M.Kwiatkowska and G. Norman and D. Parker",
 year         = "2004",
 title        = "Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, {\rm P. Panangaden and F. van Breugel (eds.)}",
 series       = "CRM Monograph Series",
 volume       = "23",
 publisher    = "American Mathematical Society",
)
@phdthesis(Seg95,
 author       = "R. Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-Time Systems",
 school       = "MIT",
)
@inproceedings(Seg96,
 author       = "R. Segala",
 year         = "1996",
 title        = "Testing Probabilistic Automata",
 booktitle    = "{\rm Proceedings} CONCUR'96",
 series       = "\rm LNCS",
 volume       = "1119",
 publisher    = "Springer",
 pages        = "299--314",
 doi          = "10.1007/3-540-61604-7_62",
)
@inproceedings(WL92,
 author       = "Wang Yi and K.G. Larsen",
 year         = "1992",
 title        = "Testing Probabilistic and Nondeterministic Processes",
 booktitle    = "{\rm Proc.} PSTV'92",
 series       = "IFIP Transactions",
 volume       = "C-8",
 publisher    = "North-Holland",
 pages        = "47--61",
)