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, 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

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

J. G. Kemeny and J. L. Snell, Finite Markov chains. D. Van Nostrand Company, inc, 1960.

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

S. M. Ross, Stochastic Processes, 1996.

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.

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. 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

A. S. Tanenbaum, Computer Networks, 2003.

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