|  Baeten J C,WeijlandWP. Process Algebra. New York, USA: Cambridge University Press, 1990. Hoare C A R. Communicating sequential processes. Communications of the ACM, 1978, 21(8): 666-677. Hoare C A R. Communicating Sequential Processes. New Jersey, USA: Prentice Hall, 1985. Milner R. Communication and Concurrency. New Jersey, USA: Prentice-Hall, 1989. Ying M S, Wirshing M. Approximate bisimilarity. In Proc. the 8th International Conference of Algebraic Methodology and Software Technology, May 2000, pp.309-322. Ying M S. Bisimulation indexes and their applications. Theoretical Computer Science, 2002, 275(1/2): 1-68. Ying M S. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrency Programs. New York: Springer-Verlag, 2001. Segala R, Lynch N. Probabilistic simulations for probabilistic processes. In Proc. the 5th International Conference on Concurrency Theory, August 1994, pp.481-496. Deng Y X, van Glabbeek R, Hennessy M, Morgan C. Testing finitary probabilistic processes. In Proc. the 20th International Conference on Concurrency Theory, September 2009, pp.274-288. Song L, Deng Y X,Cai X J. Towards automatic measurement of probabilistic processes. In Proc. the 7th International Conference on Quality Software, Oct. 2007, pp.50-59. van Glabbeek R J, Smolka S A, Steffen B. Reactive, generative, and stratified models of probabilistic processes. Infromation and Computation, 1995, 121(1): 59-80. Larsen K G, Skou A. Bisimulation through probabilistic testing. Information and Computation, 1991, 94(1): 1-28. Larsen K G, Skou A. Compositional verification of probabilistic processes. In Proc. the 3rd International Conference on Concurrency Theory, August 1992, pp.456-471. Giacalone A, Jou C C, Smolka S A. Algebraic reasoning for probabilistic concurrent systems. In Proc. IFIP TC2 Working Conference on Programming Concepts and Methods, April 1990, pp.443-458. Smolka S A, Steffen B. Priority as extremal probability. In Proc. Theories of Concurrency: Unification and Extension, August 1990, pp.456-466. Milner R. Calculi for synchrony and asynchrony. Theoretical Computer Science, 1983, 25(3): 267-310. Ying M S. Additive models of probabilistic processes. Theoretical Computer Science, 2002, 275(1/2): 481-519. Ma Y F, Zhang M, Chen L. The infinite evolution mechanism of ε-bisimulation. In Proc. the 3rd International Conference on Quantitative Logic and Soft Computing, May 2012, pp.252-259. Engelking R. General Topology. Polish Science, 1977. Kelly J L. General Topology. Springer-Verlag, 1975.