E. Bandini and R. Segala, Axiomatizations for Probabilistic Bisimulation, Proc. of the 28th International Colloquium on Automata, Languages and Programming, pp.370-381, 2001.
DOI : 10.1007/3-540-48224-5_31

M. Beccuti, M. De-pierro, A. Horvàth, A. Horvàth, and K. Farkas, A Mean Field Based Methodology for Modeling Mobility in Ad Hoc Networks, 2011 IEEE 73rd Vehicular Technology Conference (VTC Spring), pp.1-5, 2011.
DOI : 10.1109/VETECS.2011.5956248

M. Bernardo and M. Bravetti, Performance measure sensitive congruences for Markovian process algebras, Theoretical Computer Science, vol.290, issue.1, pp.117-160, 2003.
DOI : 10.1016/S0304-3975(01)00090-1

M. Bugliesi, L. Gallina, S. Hamadou, A. Marin, and S. Rossi, Interference-Sensitive Preorders for MANETs, 2012 Ninth International Conference on Quantitative Evaluation of Systems, 2011.
DOI : 10.1109/QEST.2012.15
URL : https://hal.archives-ouvertes.fr/hal-00760455

L. Gallina, S. Hamadou, A. Marin, and S. Rossi, A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks, Proc. of the 18th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'11), pp.316-330, 2011.
DOI : 10.1109/12.580424
URL : https://hal.archives-ouvertes.fr/hal-00799156

L. Gallina and S. Rossi, Sender- and receiver-centered interference in wireless ad hoc networks, 2010 IFIP Wireless Days, 2010.
DOI : 10.1109/WD.2010.5657715

J. Goubault-larrecq, C. Palamidessi, and A. Troina, A Probabilistic Applied Pi???Calculus, Proc. of the 5th Asian Symposium on Programming Languages and Systems (APLAS '07), pp.175-190, 2007.
DOI : 10.1007/978-3-540-76637-7_12
URL : https://hal.archives-ouvertes.fr/inria-00201070

J. Hillston, A Compositional Approach to Performance Modelling, 1996.
DOI : 10.1017/CBO9780511569951

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

M. Merro, An Observational Theory for Mobile Ad Hoc Networks, Electronic Notes in Theoretical Computer Science, vol.173, issue.2, pp.194-208, 2009.
DOI : 10.1016/j.entcs.2007.02.039

R. Milner and D. Sangiorgi, Barbed bisimulation, Proc. of International Colloquium on Automata, Languages and Programming (ICALP'92), pp.685-695, 1992.
DOI : 10.1007/3-540-55719-9_114

G. H. Mohimani, F. Ashtiani, A. Javanmard, and M. Hamdi, Mobility Modeling, Spatial Traffic Distribution, and Probability of Connectivity for Sparse and Dense Vehicular Ad Hoc Networks, IEEE Transactions on Vehicular Technology, vol.58, issue.4, 2009.
DOI : 10.1109/TVT.2008.2004266

A. Muqattash and M. Krunz, CDMA-based MAC protocol for wireless ad hoc networks, Proceedings of the 4th ACM international symposium on Mobile ad hoc networking & computing , MobiHoc '03, pp.153-164, 2003.
DOI : 10.1145/778415.778434

C. Priami, Stochastic ?-calculus. The Computer Journal, pp.578-589, 1995.

R. Segala and N. A. Lynch, Probabilistic simulations for probabilistic processes, Proc. of the 5th International Conference on Concurrency Theory (CONCUR'94), pp.481-496, 1994.
DOI : 10.1007/bfb0015027
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.6430

L. Song and J. Godskesen, Probabilistic Mobility Models for Mobile and Wireless Networks, Theoretical Computer Science, volume 323 of IFIP Advances in Information and Communication Technology, pp.86-100, 2010.
DOI : 10.1007/978-3-642-15240-5_7
URL : https://hal.archives-ouvertes.fr/hal-01054442

X. Wang and K. Kar, Throughput modelling and fairness issues in CSMA/CA based ad-hoc networks, Proc. of the 24th Annual Joint Conf. of the IEEE Computer and Communications Societies (INFOCOM'05), pp.23-34, 2005.