M. Weiser, The Computer for the 21st Century, The computer for the 21st century, pp.94-104, 1991.
DOI : 10.1038/scientificamerican0991-94

E. A. Lee, Cyber physical systems : Design challenges », in Object Oriented Real-Time Distributed Computing (ISORC), 11th IEEE International Symposium on, pp.363-369, 2008.

J. Markoff and . Can, t find a parking spot ? Check smartphone. », The New-York Times, 12 juillet, 2008.

K. Ammouche, « Interpolation des mesures du signal radio reçu, 1928.

B. Pottier and P. Lucas, « Capteurs et programmation à bas niveau : une approche par machine virtuelle, RESSACS'12, pp.2012-2046

E. A. Lee, « Cyber-physical systems ? Are computing foundations adequate ?, NSF Workshop on Cyber-Physical Systems, p.67, 2006.

T. P. Truong and B. Pottier, Monitoring of environment: A high performance method for radio coverage exploration, 2016 IEEE Radio and Antenna Days of the Indian Ocean (RADIO), p.60, 2016.
DOI : 10.1109/RADIO.2016.7772031

T. P. Truong, Pottier, « Wireless network on coastal topologies : Parallel simulation of radio coverage on cellular systems », in A Connected Ocean, SeaTech week, p.88, 2016.

Y. , L. Gall, and R. Herry, « Calcul de couverture radio par lancer de rayon », rapport master ubo, p.127, 2011.

T. V. Hoang, « Cyber physical systems and mixed simulations, master thesis », rapport Master UBO, p.59, 2015.

D. Gajski, N. Dutt, A. Wu, and S. Lin, High Level Synnthesis, an introduction to chip and system design, p.52, 1992.

G. Berry, R. Chandra, D. Gajski, K. Konigsfeld, and P. , Schaumont et I. Verbauhede , « The next HDL : If C++ is the answer, what was the question ?, Proceedings of 38th conference on Design automation, pp.7172-52, 2001.

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

C. A. Hoare, Communicating sequential processes, p.123, 1985.

A. J. Martin, S. M. Burns, T. K. Lee, D. Borkovic, and P. J. Hazewindus, « The design of an asynchronous microprocessor », SIGARCH Comput, Archit. News, vol.17, pp.99-110, 1989.

P. Welch, F. Barnes, and S. O. , Computing, « Position paper : " concurrency first, p.59

H. Dutta, T. Failler, N. Melot, B. Pottier, and S. Stinckwich, « An execution flow for dynamic concurrent systems : simulation of wsn on a Smalltalk/Cuda environment simulation, modeling and programming for autonomous robots, Dynamic languages for robotic and sensors systems, Proceedings of SIMPAR 2010 Workshops Intl. Conf. on, pp.290-295, 2010.

N. Lynch, Distributed algorithms, p.60, 1996.

D. Pountain and D. May, A tutorial introduction to Occam programming, p.61, 1987.

. Nvidia, Nvidia Cuda Programming Guide 2.0, p.61, 2008.

T. Failler and . Netgen, un générateur de code pour cuda, principes, implémentation et performances, », rapport Master UBO, p.61, 2010.

H. Nguyen-van and . Long, Wireless sensor network to satellite interface », rapport Master USTH et UBO, p.128

D. Vallado, Fundamentals of Astrodynamics and Applications. Microcosm Press Year, mars 2013, p.72

S. Turner and A. Back, « A t9000 implementation of the p4 parallel programming model, Transputer research and applications 7, 1995.

T. H. Kim, « Implementation of a lattice gas simulation », rap. tech., M.I.T., printemps, 2007.

B. Pottier, P. Lucas, E. Keita, R. Herry, Y. Lagall et al., « Les capteurs dans la ville. (i) du maquettage à la génération de code, (ii) calcul de couverture radio, (iii) netgen : support pour l'implémentation, RESSACS'11, p.127, 2011.

B. Pottier, P. Lucas, A. Plantec, and . Rdc, des simulateurs aux capteurs, transformations de sources occam, RESSACS'13, pp.2013-128