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

L. Gallina, S. Hamadou, A. Marin, and . S. Rossi, A Probabilistic Energy-Aware Model for Mobile Ad-Hoc Networks, 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, APLAS 2007, 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

L. B. Le, E. Hossain, and M. Zorzi, Queueing Analysis for GBN and SR ARQ Protocols under Dynamic Radio Link Adaptation with Non-Zero Feedback Delay, IEEE Transactions on Wireless Communications, vol.6, issue.9, pp.3418-3428, 2007.
DOI : 10.1109/TWC.2007.06020038

C. Priami, Stochastic ??-Calculus, The Computer Journal, vol.38, issue.7, pp.578-589, 1995.
DOI : 10.1093/comjnl/38.7.578

R. Milner and D. Sangiorgi, Barbed bisimulation, ICALP 1992, pp.685-695, 1992.
DOI : 10.1007/3-540-55719-9_114

S. M. Ross, Stochastic Processes, 1996.

R. Segala and N. A. Lynch, Probabilistic simulations for probabilistic processes, CONCUR 1994, pp.481-496, 1994.

S. Singh, M. Woo, and C. S. Raghavendra, Power-aware routing in mobile ad hoc networks, Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '98, pp.181-190, 1998.
DOI : 10.1145/288235.288286

L. Song and J. C. Godskesen, Probabilistic Mobility Models for Mobile and Wireless Networks, TCS 2010. 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

M. Zorzi and R. R. Rao, Error control and energy consumption in communications for nomadic computing, IEEE Transactions on Computers, vol.46, issue.3, pp.279-289, 1997.
DOI : 10.1109/12.580424