1. Assad El-Nahhas, Alternative Characterizations for Testing Preorders in CCS with Probability, M.Sc. Thesis, Department of Mathematics and Computer Science, Aalborg University, 9220 Aalborg, Denmark, 1992.
2. Anders Borjesson and Helle Damborg, Testing Applied to Probabilistic Processes, M.Sc. Thesis, Department of Mathematics and Computer Science, Aalborg University, 9220 Aalborg, Denmark, 1992.
3. I. Christoff, Testing Equivalence for Probabilistic Processes, Ph.D. Thesis, Uppsala University, Uppsala, Sweden, 1990.
4. R. van Glabbeek, S. A. Smolka, B. Steffen and C. Tofts, Reactive, Generative and Stratified Models of Probabilistic Processes, in the Proc. of LICS1990, 1990.
5. H. Hansson and Bengt Jonsson, A Calculus for Communicating Systems with Time and Probability, in the Proc. of the 11'th IEEE Real Time Systems Symposium, 1990.