A. Cerone and M. Hennessy, A simple probabilistic broadcast language Trinity College Dublin, (CS-TR-2012-02), 2012

E. Curran and J. Dowling, SAMPLE: Statistical Network Link Modelling in an On-Demand Probabilistic Routing Protocol for Ad Hoc Networks, Second Annual Conference on Wireless On-demand Network Systems and Services, pp.200-205, 2005.
DOI : 10.1109/WONS.2005.30

Y. Deng, R. Van-glabbeek, M. Hennessy, and C. Morgan, Testing Finitary Probabilistic Processes, Proceedings of the 20th International Conference on Concurrency Theory, pp.274-288, 2009.
DOI : 10.1007/3-540-61604-7_62

C. Ene and T. Muntean, Testing theories for broadcasting processes, Sci. Ann. Cuza Univ, vol.11, pp.214-230, 2002.

F. Ghassemi, W. Fokkink, and A. Movaghar, Verification of mobile ad hoc networks: An algebraic approach, Theoretical Computer Science, vol.412, issue.28, pp.3262-3282, 2011.
DOI : 10.1016/j.tcs.2011.03.017

J. Chr and . Godskesen, Observables for mobile and wireless broadcasting systems, Lecture Notes in Computer Science, vol.6116, pp.1-15, 2010.

R. Jurdak, C. V. Lopes, and P. Baldi, A survey, classification and comparative analysis of medium access control protocols for ad hoc networks, IEEE Communications Surveys & Tutorials, vol.6, issue.1, pp.1-42, 2004.
DOI : 10.1109/COMST.2004.5342231

I. Lanese and D. Sangiorgi, An operational semantics for a calculus for wireless systems, Theoretical Computer Science, vol.411, issue.19, pp.4111928-1948, 2010.
DOI : 10.1016/j.tcs.2010.01.023
URL : http://doi.org/10.1016/j.tcs.2010.01.023

R. Lanotte and M. Merro, Semantic Analysis of Gossip Protocols for Wireless Sensor Networks, Lecture Notes in Computer Science, vol.174, issue.8, pp.156-170, 2011.
DOI : 10.1007/978-3-642-15240-5_7

M. Merro and E. Sibilio, A Timed Calculus for Wireless Systems, Lecture Notes in Computer Science, vol.5961, pp.228-243, 2009.
DOI : 10.1007/978-3-642-11623-0_13

N. Mezzetti and D. Sangiorgi, Towards a Calculus For Wireless Systems, Electronic Notes in Theoretical Computer Science, vol.158, pp.331-353, 2006.
DOI : 10.1016/j.entcs.2006.04.017
URL : http://doi.org/10.1016/j.entcs.2006.04.017

R. Milner, A calculus of communicating systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

S. Nanz and C. Hankin, Static analysis of routing protocols for ad-hoc networks, 2004.

S. Nanz and C. Hankin, A framework for security analysis of mobile wireless networks, Theoretical Computer Science, vol.367, issue.1-2, 2006.
DOI : 10.1016/j.tcs.2006.08.036

K. V. Prasad, A calculus of broadcasting systems, Science of Computer Programming, vol.25, issue.2-3, pp.285-327, 1995.
DOI : 10.1016/0167-6423(95)00017-8

R. Segala and N. Lynch, Probabilistic simulations for probabilistic processes, Nordic J. of Computing, vol.2, pp.250-273, 1995.
DOI : 10.1007/978-3-540-48654-1_35
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6430

A. S. Tanenbaum, Computer networks