|  Milner R. Communication and Concurrency. Upper Saddle River, NJ, USA: Prentice Hall, 1989. Lin H. PAM: A process algebra manipulator. Formal Methods in System Design, 1995, 7(3): 243-259. Larsen K G, Skou A. Bisimulation through probabilistic testing. Information and Computation, 1991, 94(1): 1-28. Kiehn A, Arun-Kumar S. Amortised bisimulations. In Proc. the 25th FORTE, Oct. 2005, pp.320-334. de Frutos-Escrig D, Rosa-Velardo F, Gregorio-Rodríguez C. New bisimulation semantics for distributed systems. In Proc. the 27th FORTE, June 2007, pp.143-159. Xu L, Chatzikokolakis K, Lin H. Metrics for differential privacy in concurrent systems. In Proc. the 34th FORTE, June 2014, pp.199-215. Dwork C. Differential privacy. In Proc. the 33rd ICALP, July 2006, pp.1-12. Chatzikokolakis K, Andrés M E, Bordenabe N E, Palamidessi C. Broadening the scope of differential privacy using metrics. In Proc. the 13th Int. Symp. Privacy Enhancing Technologies, July 2013, pp.82-102. Bandini E, Segala R. Axiomatizations for probabilistic bisimulation. In Proc. the 28th ICALP, July 2001, pp.370- 381. Hennessy M. A calculus for costed computations. Logical Methods in Computer Science, 2011, 7(1): 7:1-7:35. Deng Y, Hennessy M. Compositional reasoning for weighted Markov decision processes. Science of Computer Programming, 2013, 78(12): 2537-2579. Desharnais J, Laviolette F, Tracol M. Approximate analysis of probabilistic processes: Logic, simulation and games. In Proc. the 5th International Conference on Quantitative Evaluation of Systems, Sept. 2008, pp.264-273. Tracol M, Desharnais J, Zhioua A. Computing distances between probabilistic automata. In Proc. the 9th QAPL, April 2011, pp.148-162. Deng Y, Palamidessi C, Pang J. Compositional reasoning for probabilistic finite-state behaviors. In Lecture Notes in Computer Science 3838, Middeldorp A, van Oostrom V, van Raamsdonk F, de Vrijer (eds.), Spring-Verlag, 2005, pp.309–337. Deng Y, Palamidessi C. Axiomatizations for probabilistic finite-state behaviors. In Proc. the 8th FoSSaCS, April 2005, pp.110–124. Segala R. Modeling and verification of randomized distributed real-time systems [Ph.D. Thesis]. Massachusetts Institute of Technology, 1995. Segala R, Lynch N. Probabilistic simulations for probabilistic processes. Nordic Journal of Computing, 1995, 2(2): 250-273. Hennessy M, Lin H. Proof systems for message-passing process algebras. In Proc. the 4th CONCUR, August 1993, pp.202-216. Desharnais J, Jagadeesan R, Gupta V, Panangaden P. The metric analogue of weak bisimulation for probabilistic processes. In Proc. the 17th LICS, July 2002, pp.413-422. D'Argenio P R, Gebler D, Lee M D. Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules. In Proc. the 17th FoSSaCS, April 2014, pp.289-303. Chatzikokolakis K, Gebler D, Palamidessi C, Xu L. Generalized bisimulation metrics. In Proc. the 25th CONCUR, Sept. 2014, pp.32-46.