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, Proceedings of the 10th international conference on Coordination models and languages, 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.1132

J. Chr and . Godskesen, A calculus for mobile ad hoc networks, Proceedings of the 9th international conference on Coordination models and languages, COORDINATION'07, pp.132-150, 2007.

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

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

H. Hermanns, Interactive Markov chains: and the quest for quantified quality, 2002.

C. Eisentraut, H. Hermanns, and L. Zhang, On Probabilistic Automata in Continuous Time, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.342-351, 2010.
DOI : 10.1109/LICS.2010.41
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.484.1720

F. Ghassemi, M. Talebi, A. Movaghar, and W. Fokkink, Stochastic Restricted Broadcast Process Theory, Proceedings of the 8th European Performance Engineering Workshop, pp.72-86, 2011.
DOI : 10.1109/QEST.2011.27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.421.2709

J. Hillston, A compositional approach to performance modelling, 1996.
DOI : 10.1017/CBO9780511569951
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.9392

S. Vasudevan, J. Kurose, and D. Towsley, Design and analysis of a leader election algorithm for mobile ad hoc networks, Proceedings of the 12th IEEE International Conference on Network Protocols, 2004. ICNP 2004., pp.350-360, 2004.
DOI : 10.1109/ICNP.2004.1348124

X. Nicollin and J. Sifakis, An overview and synthesis on timed process algebras, Proceedings of the 3rd International Workshop on Computer Aided Verification, CAV '91, pp.376-398, 1992.
DOI : 10.1007/bfb0032006
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.6010

W. Yi, CCS + time = an interleaving model for real time systems, Proceedings of the 18th International Colloquium on Automata, Languages and Programming, pp.217-228, 1991.
DOI : 10.1007/3-540-54233-7_136