1. R. De Nicola & M. Hennessy (1984): Testing equivalences for processes. Theoretical Computer Science 34, pp. 83–133, doi:10.1016/0304-3975(84)90113-0.
  2. Y. Deng, R.J. van Glabbeek, M. Hennessy & C.C. Morgan (2008): Characterising testing preorders for finite probabilistic processes. Logical Methods in Computer Science 4(4):4, doi:10.2168/LMCS-4(4:4)2008.
  3. Y. Deng, R.J. van Glabbeek, M. Hennessy & C.C. Morgan (2009): Testing finitary probabilistic processes. In: Proc. CONCUR'09, LNCS 5710. Springer, pp. 274–288, doi:10.1007/978-3-642-04081-8_19.
  4. Y. Deng, R.J. van Glabbeek, M. Hennessy & C.C. Morgan (2010): Real Reward Testing for Probabilistic Processes. Full version of the current paper. Available at
  5. Y. Deng, R.J. van Glabbeek, M. Hennessy, C.C. Morgan & C. Zhang (2007): Remarks on Testing Probabilistic Processes. ENTCS 172, pp. 359–397, doi:10.1016/j.entcs.2007.02.013.
  6. Y. Deng, R.J. van Glabbeek, C.C. Morgan & C. Zhang (2007): Scalar Outcomes Suffice for Finitary Probabilistic Testing. In: Proceedings ESOP'07, LNCS 4421. Springer, pp. 363–368, doi:10.1007/978-3-540-71316-6_25.
  7. M. Hennessy (1988): An Algebraic Theory of Processes. MIT Press.
  8. B. Jonsson, C. Ho-Stuart & Wang Yi (1994): Testing and Refinement for Nondeterministic and Probabilistic Processes. In: Proceedings FTRTFT'94, LNCS 863. Springer, pp. 418–430, doi:10.1007/3-540-58468-4_176.
  9. M.L. Puterman (1994): Markov Decision Processes. Wiley, doi:10.1002/9780470316887.
  10. J.J.M.M. Rutten, M.Kwiatkowska, G. Norman & D. Parker (2004): Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems, P. Panangaden and F. van Breugel (eds.). CRM Monograph Series 23. American Mathematical Society.
  11. R. Segala (1995): Modeling and Verification of Randomized Distributed Real-Time Systems. MIT.
  12. R. Segala (1996): Testing Probabilistic Automata. In: Proceedings CONCUR'96, LNCS 1119. Springer, pp. 299–314, doi:10.1007/3-540-61604-7_62.
  13. Wang Yi & K.G. Larsen (1992): Testing Probabilistic and Nondeterministic Processes. In: Proc. PSTV'92, IFIP Transactions C-8. North-Holland, pp. 47–61.

Comments and questions to:
For website issues: