S. Arun-kumar and M. Hennessy, An efficiency preorder for processes, Acta Informatica, vol.25, issue.1, pp.737-760, 1992.
DOI : 10.1007/BF01191894

P. Attar and I. Castellani, Fine-Grained and Coarse-Grained Reactive Noninterference, TGC 2013, pp.159-179, 2013.
DOI : 10.1007/978-3-319-05119-2_10
URL : https://hal.archives-ouvertes.fr/hal-00915241

D. Benetti, M. Merro, and L. Vigano, Model Checking Ad Hoc Network Routing Protocols: ARAN vs. endairA, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, pp.191-202, 2010.
DOI : 10.1109/SEFM.2010.24
URL : http://www.avantssar.eu/pdf/publications/BenettiMerroVigano10.pdf

J. Borgström, S. Huang, M. Johansson, P. Raabjerg, B. Victor et al., Broadcast psi-calculi with an application to wireless protocols, Software & Systems Modeling, vol.75, issue.6, pp.201-216, 2015.
DOI : 10.1016/j.scico.2009.07.008

F. Boussinot and R. De-simone, The SL synchronous language, IEEE Transactions on Software Engineering, vol.22, issue.4, pp.256-266, 1996.
DOI : 10.1109/32.491649
URL : https://hal.archives-ouvertes.fr/inria-00074168

L. Cardelli and A. Gordon, Mobile ambients, Theoretical Computer Science, vol.240, issue.1, pp.177-213, 2000.
DOI : 10.1016/S0304-3975(99)00231-5
URL : https://doi.org/10.1016/s0304-3975(99)00231-5

V. Castiglioni, R. Lanotte, and M. Merro, A Semantic Theory of the Internet of Things, p.4854, 1510.

A. Cerone, M. Hennessy, and M. Merro, Modelling mac-layer communications in wireless systems, Logical Methods in Computer Science, vol.11, issue.1, p.18, 2015.
DOI : 10.1007/978-3-642-38493-6_2
URL : https://hal.archives-ouvertes.fr/hal-01486032

D. Nicola, R. Loreti, M. Pugliese, R. Tiezzi, and F. , A Formal Approach to Autonomic Systems Programming, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.2, pp.1-729, 2014.
DOI : 10.1145/2209249.2209268

A. Fehnker, R. Van-glabbeek, P. Höfner, A. Mciver, M. Portmann et al., A Process Algebra for Wireless Mesh Networks, ESOP 2012, pp.295-315, 2012.
DOI : 10.1007/978-3-642-28869-2_15

F. Ghassemi, W. Fokkink, and A. Movaghar, Verification of mobile ad hoc networks: An algebraic approach, Theoretical Computer Science, vol.412, issue.28, pp.3262-3282, 2011.
DOI : 10.1016/j.tcs.2011.03.017

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

J. Gubbi and M. Palaniswami, Internet of Things (IoT): A vision, architectural elements, and future directions, Future Generation Computer Systems, vol.29, issue.7, pp.1645-1660, 2013.
DOI : 10.1016/j.future.2013.01.010
URL : http://arxiv.org/pdf/1207.0203

M. Hennessy and T. Regan, A Process Algebra for Timed Systems, Information and Computation, vol.117, issue.2, pp.221-239, 1995.
DOI : 10.1006/inco.1995.1041
URL : https://doi.org/10.1006/inco.1995.1041

K. Honda and N. Yoshida, On reduction-based process semantics, Theoretical Computer Science, vol.151, issue.2, pp.437-486, 1995.
DOI : 10.1016/0304-3975(95)00074-7
URL : https://doi.org/10.1016/0304-3975(95)00074-7

I. Lanese, L. Bedogni, D. Felice, and M. , Internet of things, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1339-1346, 2013.
DOI : 10.1145/2480362.2480615
URL : https://hal.archives-ouvertes.fr/hal-00909303

I. Lanese and D. Sangiorgi, An operational semantics for a calculus for wireless systems, Theoretical Computer Science, vol.411, issue.19, 1928.
DOI : 10.1016/j.tcs.2010.01.023
URL : https://doi.org/10.1016/j.tcs.2010.01.023

R. Lanotte and M. Merro, Semantic Analysis of Gossip Protocols for Wireless Sensor Networks, CONCUR 2011, pp.156-170, 2011.
DOI : 10.1007/978-3-642-15240-5_7

M. Merro, An Observational Theory for Mobile Ad Hoc Networks (full version), Information and Computation, vol.207, issue.2, pp.194-208, 2009.
DOI : 10.1016/j.ic.2007.11.010
URL : https://doi.org/10.1016/j.ic.2007.11.010

M. Merro, F. Ballardin, and E. Sibilio, A timed calculus for wireless systems, Theoretical Computer Science, vol.412, issue.47, pp.6585-6611, 2011.
DOI : 10.1016/j.tcs.2011.07.016

M. Merro and E. Sibilio, A calculus of trustworthy ad hoc networks, Formal Aspects of Computing, vol.32, issue.3, pp.801-832, 2013.
DOI : 10.1145/570681.570682

R. Milner, The Polyadic ??-Calculus: a Tutorial, Tech. rep. LFCS, 1991.
DOI : 10.1007/978-3-642-58041-3_6
URL : http://www.lix.polytechnique.fr/~fvalenci/papers/intro-ppi.pdf

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

D. Sangiorgi and D. Walker, The Pi-Calculus a theory of mobile processes, 2001.

A. Schaft and H. Schumacher, An introduction to hybrid dynamical systems, Lecture Notes in Control and Information Science, vol.251, 2000.

A. Singh, C. Ramakrishnan, and S. Smolka, A process calculus for Mobile Ad Hoc Networks, pp.440-469, 2010.

B. Sundararaman, U. Buy, and A. D. Kshemkalyani, Clock synchronization for wireless sensor networks: a survey, Ad Hoc Networks, vol.3, issue.3, pp.281-323, 2005.
DOI : 10.1016/j.adhoc.2005.01.002

R. Vigo, F. Nielson, and H. Nielson, Broadcast, Denial-of-Service, and Secure Communication, IFM 2013, pp.412-427, 2013.
DOI : 10.1007/978-3-642-38613-8_28

X. Wu and H. Zhu, A Calculus for Wireless Sensor Networks from Quality Perspective, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering, pp.223-231, 2015.
DOI : 10.1109/HASE.2015.40