C. Baier, H. Hermanns, and J. P. Katoen, Probabilistic weak simulation is decidable in polynomial time, Information Processing Letters, vol.89, issue.3, pp.123-130, 2004.
DOI : 10.1016/j.ipl.2003.10.001

C. Baier, J. P. Katoen, H. Hermanns, and B. R. Haverkort, Simulation for Continuous-Time Markov Chains, CONCUR 2002, pp.338-354, 2002.
DOI : 10.1007/3-540-45694-5_23

R. Bakhshi, F. Bonnet, W. Fokkink, and B. Haverkort, Formal analysis techniques for gossiping protocols, ACM SIGOPS Operating Systems Review, vol.41, issue.5, pp.28-36, 2007.
DOI : 10.1145/1317379.1317385

F. Van-breugel and J. Worrell, A behavioural pseudometric for probabilistic transition systems, Theoretical Computer Science, vol.331, issue.1, pp.115-142, 2005.
DOI : 10.1016/j.tcs.2004.09.035

A. Cerone, M. Hennessy, and M. Merro, Modelling mac-layer communications in wireless systems, Logical Methods in Computer Science, vol.11, issue.1, p.18, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01486032

Y. Deng, T. Chothia, C. Palamidessi, and J. Pang, Metrics for Action-labelled Quantitative Transition Systems, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.79-96, 2006.
DOI : 10.1016/j.entcs.2005.10.033
URL : https://hal.archives-ouvertes.fr/hal-00159689

Y. Deng and W. Du, The Kantorovich Metric in Computer Science: A Brief Survey, Electronic Notes in Theoretical Computer Science, vol.253, issue.3, pp.73-82, 2009.
DOI : 10.1016/j.entcs.2009.10.006

Y. Deng, R. J. Van-glabbeek, M. Hennessy, and C. Morgan, Characterising testing preorders for finite probabilistic processes, Logical Meth. Comput. Sci, vol.4, issue.4, 2008.
DOI : 10.2168/lmcs-4(4:4)2008

J. Desharnais, J. Gupta, R. Jagadeesan, and P. Panangaden, Metrics for labelled Markov processes, Theoretical Computer Science, vol.318, issue.3, pp.323-354, 2004.
DOI : 10.1016/j.tcs.2003.09.013
URL : https://doi.org/10.1016/j.tcs.2003.09.013

J. Desharnais, R. Jagadeesan, V. Gupta, and P. Panangaden, The metric analogue of weak bisimulation for probabilistic processes, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science, pp.413-422, 2002.
DOI : 10.1109/LICS.2002.1029849

A. Fehnker and P. Gao, Formal Verification and Simulation for Performance Analysis for Probabilistic Broadcast Protocols, ADHOC- NOW 2006, pp.128-141, 2006.
DOI : 10.1007/11814764_12

D. Gebler, K. G. Larsen, and S. Tini, Compositional Metric Reasoning with Probabilistic Process calculi, FoSSaCS 2015, pp.230-245, 2015.
DOI : 10.1007/978-3-662-46678-0_15
URL : http://www.cassting-project.eu/wp-content/uploads/GLT-fossacs15.pdf

D. Gebler, K. G. Larsen, and S. Tini, Compositional Bisimulation Metric Reasoning with Probabilistic Process Calculi, Logical Meth. Comput. Sci, vol.12, issue.4, 2016.
DOI : 10.1007/978-3-662-46678-0_15
URL : http://www.cassting-project.eu/wp-content/uploads/GLT-fossacs15.pdf

D. Gebler and S. Tini, Fixed-point Characterization of Compositionality Properties of Probabilistic Processes Combinators, Electronic Proceedings in Theoretical Computer Science, vol.275, issue.1, pp.63-78, 2014.
DOI : 10.1016/S0304-3975(01)00124-4

D. Gebler and S. Tini, SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators, CONCUR 2015. LIPIcs Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.155-168, 2015.

A. M. Kermarrec and M. Van-steen, Gossiping in distributed systems, ACM SIGOPS Operating Systems Review, vol.41, issue.5, pp.2-7, 2007.
DOI : 10.1145/1317379.1317381

M. Kwiatkowska, G. Norman, and D. Parker, Analysis of a gossip protocol in PRISM, ACM SIGMETRICS Performance Evaluation Review, vol.36, issue.3, pp.17-22, 2008.
DOI : 10.1145/1481506.1481511

R. Lanotte and M. Merro, Semantic Analysis of Gossip Protocols for Wireless Sensor Networks, CONCUR 2011, pp.156-170, 2011.
DOI : 10.1007/978-3-642-15240-5_7

R. Lanotte and M. Merro, A Semantic Theory of the Internet of Things, COORDINATION 2016, pp.157-174, 2016.
DOI : 10.1109/HASE.2015.40
URL : https://hal.archives-ouvertes.fr/hal-01631725

R. Lanotte and M. Merro, A Calculus of Cyber-Physical Systems, LATA 2017, pp.115-127, 2017.
DOI : 10.1007/978-3-642-38613-8_28

K. G. Larsen and A. Skou, Bisimulation through probabilistic testing, Information and Computation, vol.94, issue.1, pp.1-28, 1991.
DOI : 10.1016/0890-5401(91)90030-6
URL : https://doi.org/10.1016/0890-5401(91)90030-6

D. Macedonio and M. Merro, A semantic analysis of key management protocols for wireless sensor networks, Science of Computer Programming, vol.81, pp.53-78, 2014.
DOI : 10.1016/j.scico.2013.01.005

M. Merro, F. Ballardin, and E. Sibilio, A timed calculus for wireless systems, Theoretical Computer Science, vol.412, issue.47, pp.6585-6611, 2011.
DOI : 10.1016/j.tcs.2011.07.016

R. Segala and N. Lynch, Probabilistic simulations for probabilistic processes, Nordic Journal of Computing, vol.2, pp.250-273, 1995.
DOI : 10.1007/bfb0015027
URL : http://theory.lcs.mit.edu/tds/papers/Segala/NJC95.ps.gz

C. Villani, Optimal transport, old and new, 2008.