J. Desharnais, V. Gupta, R. Jagadeesan, and P. Panangaden, Weak Bisimulation is Sound and Complete for PCTL*, CONCUR 2002, pp.355-370, 2002.
DOI : 10.1007/3-540-45694-5_24

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

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

A. Singh, C. R. Ramakrishnan, and S. A. Smolka, A Process Calculus for Mobile Ad Hoc Networks, COORDINATION 2008, pp.296-314, 2008.

M. Merro, An Observational Theory for Mobile Ad Hoc Networks, Electronic Notes in Theoretical Computer Science, vol.173, pp.275-293, 2007.
DOI : 10.1016/j.entcs.2007.02.039

F. Ghassemi, W. Fokkink, and A. Movaghar, Restricted Broadcast Process Theory, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.345-354, 2008.
DOI : 10.1109/SEFM.2008.25

J. C. Godskesen, A Calculus for Mobile Ad Hoc Networks, COORDINATION'07, pp.132-150, 2007.
DOI : 10.1007/978-3-540-72794-1_8

J. C. Godskesen, A Calculus for Mobile Ad-hoc Networks with Static Location Binding, 15th International Workshop on Expressiveness in Concurrency, 2008.
DOI : 10.1016/j.entcs.2009.06.018

R. Segala and N. Lynch, Probabilistic Simulations for Probabilistic Processes, CONCUR'94, pp.481-496, 1994.

A. Philippou, I. Lee, and O. Sokolsky, Weak Bisimulation for Probabilistic Systems, CONCUR'00, pp.334-349, 2000.
DOI : 10.1007/3-540-44618-4_25

M. Merro and E. Sibilio, A Timed Calculus for Wireless Systems, 3rd International Conference on Fundamentals of Software Engineering, 2009.