[1] Baeten J C,WeijlandWP. Process Algebra. New York, USA: Cambridge University Press, 1990.[2] Hoare C A R. Communicating sequential processes. Communications of the ACM, 1978, 21(8): 666-677.[3] Hoare C A R. Communicating Sequential Processes. New Jersey, USA: Prentice Hall, 1985.[4] Milner R. Communication and Concurrency. New Jersey, USA: Prentice-Hall, 1989.[5] Ying M S, Wirshing M. Approximate bisimilarity. In Proc. the 8th International Conference of Algebraic Methodology and Software Technology, May 2000, pp.309-322.[6] Ying M S. Bisimulation indexes and their applications. Theoretical Computer Science, 2002, 275(1/2): 1-68.[7] Ying M S. Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrency Programs. New York: Springer-Verlag, 2001.[8] Segala R, Lynch N. Probabilistic simulations for probabilistic processes. In Proc. the 5th International Conference on Concurrency Theory, August 1994, pp.481-496.[9] 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.[10] 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.[11] 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.[12] Larsen K G, Skou A. Bisimulation through probabilistic testing. Information and Computation, 1991, 94(1): 1-28.[13] Larsen K G, Skou A. Compositional verification of probabilistic processes. In Proc. the 3rd International Conference on Concurrency Theory, August 1992, pp.456-471.[14] 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.[15] Smolka S A, Steffen B. Priority as extremal probability. In Proc. Theories of Concurrency: Unification and Extension, August 1990, pp.456-466.[16] Milner R. Calculi for synchrony and asynchrony. Theoretical Computer Science, 1983, 25(3): 267-310.[17] Ying M S. Additive models of probabilistic processes. Theoretical Computer Science, 2002, 275(1/2): 481-519.[18] 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.[19] Engelking R. General Topology. Polish Science, 1977.[20] Kelly J L. General Topology. Springer-Verlag, 1975. |