F. Arbab, What do you mean, coordination. Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, pp.1-18, 1998.

F. Arbab, Reo: a channel-based coordination model for component composition, Mathematical Structures in Computer Science, vol.14, issue.3, pp.329-366, 2004.
DOI : 10.1017/S0960129504004153

J. Ban?-atre, P. Fradet, and D. L. Métayer, Gamma and the chemical reaction model: Fifteen years after, Multiset Processing, pp.17-44, 2001.

A. Philip, V. Bernstein, N. Hadzilacos, and . Goodman, Concurrency control and recovery in database systems, 1987.

G. Cabri, L. Leonardi, and F. Zambonelli, MARS: a programmable coordination architecture for mobile agents, IEEE Internet Computing, vol.4, issue.4, pp.26-35, 2000.
DOI : 10.1109/4236.865084
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.9605

J. Cano, G. Delaval, and E. Rutten, Coordination of ECA Rules by Verification and Control, International Conference on Coordination Languages and Models, pp.33-48, 2014.
DOI : 10.1007/978-3-662-43376-8_3
URL : https://hal.archives-ouvertes.fr/hal-01006186

N. Carriero and D. Gelernter, Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989.
DOI : 10.1145/63334.63337

J. Collins and R. Bagrodia, Mobile Application Development with MELON, Int. Conf. on Ad-Hoc Networks and Wireless, pp.265-278, 2014.
DOI : 10.1007/978-3-319-07425-2_20

T. Cooper and N. Wogrin, Rule-based Programming with OPS5, 1988.

P. Costa, L. Mottola, L. Amy, G. P. Murphy, and . Picco, TeenyLIME, Proceedings of the international workshop on Middleware for sensor networks , MidSens '06, pp.43-48, 2006.
DOI : 10.1145/1176866.1176874

G. Delaval, H. Marchand, and E. Rutten, Contracts for modular discrete controller synthesis, ACM SIGPLAN Notices, vol.45, issue.4, pp.57-66, 2010.
DOI : 10.1145/1755951.1755898
URL : https://hal.archives-ouvertes.fr/inria-00476910

K. Dokter, S. Jongmans, F. Arbab, and S. Bliudze, Combine and conquer: Relating BIP and Reo, Journal of Logical and Algebraic Methods in Programming, vol.86, issue.1, pp.3-20, 2016.
DOI : 10.1016/j.jlamp.2016.09.008
URL : https://infoscience.epfl.ch/record/213455/files/BIP2Reo-JLAMP-online.pdf

L. Ducreux, C. Guyon-gardeux, M. Louvel, F. Pacull, M. Thior et al., Rapid prototyping of complete systems, the case study of a smart parking, 2015 International Symposium on Rapid System Prototyping (RSP), pp.133-139, 2015.
DOI : 10.1109/RSP.2015.7416558
URL : https://hal.archives-ouvertes.fr/hal-01275888

. Boutin, Energy optimisation using analytics and coordination, the example of lifts, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), 2014.
DOI : 10.1109/ETFA.2014.7005132

H. Fernandez, C. Tedeschi, and T. Priol, Rule-driven service coordination middleware for scientific applications, Future Generation Computer Systems, vol.35, pp.1-13, 2014.
DOI : 10.1016/j.future.2013.12.023
URL : https://hal.archives-ouvertes.fr/hal-01326930

T. Garnock, -. , and M. Felleisen, Coordinated Concurrent Programming in Syndicate, LNCS, vol.9632, pp.310-336, 2016.

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.9679

S. Mak-karé-gueye, E. Noël-de-palma, and . Rutten, Component-based autonomic managers for coordination control, Coordination Models and Languages: 15th International Conference, pp.75-89, 2013.

C. Julien and G. Roman, Egospaces: Facilitating rapid development of context-aware mobile applications. Software Engineering, IEEE Transactions on, vol.32, issue.5, pp.281-298, 2006.

E. Kühn, Reusable Coordination Components: Reliable Development of Cooperative Information Systems, International Journal of Cooperative Information Systems, vol.4, issue.1, p.1740001, 2017.
DOI : 10.1016/j.jcss.2010.01.010

E. Kühn, S. Craß, G. Joskowicz, A. Marek, and T. Scheller, Peer-Based Programming Model for Coordination Patterns, Coordination Models and Languages, pp.121-135, 2013.
DOI : 10.1007/978-3-642-38493-6_9

E. Kuhn, J. Riemer, R. Mordinyi, and L. Lechner, Integration of XVSM Spaces with the Web to Meet the Challenging Interaction Demands in Pervasive Scenarios. Ubiquitous Computing and Communication Journal, CPE - SI(Special issue of Coordination in Pervasive Environments, pp.20-31, 2008.

M. Louvel and F. Pacull, LINC: A Compact Yet Powerful Coordination Environment, Coordination Models and Languages, pp.83-98, 2014.
DOI : 10.1007/978-3-662-43376-8_6
URL : https://hal.archives-ouvertes.fr/hal-01274824

M. Louvel, F. Pacull, and M. I. Vergara-gallego, Coordination Scheme Editor for building management systems, IECON 2016, 42nd Annual Conference of the IEEE Industrial Electronics Society, pp.7052-7057, 2016.
DOI : 10.1109/IECON.2016.7793354
URL : https://hal.archives-ouvertes.fr/cea-01480847

M. Mamei and F. Zambonelli, Programming pervasive and mobile computing applications, ACM Transactions on Software Engineering and Methodology, vol.18, issue.4, p.15, 2009.
DOI : 10.1145/1538942.1538945

A. Molesini, A. Omicini, M. Viroli, and F. Zambonelli, Engineering Pervasive Multiagent Systems in SAPERE, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics, pp.8245-196, 2013.
DOI : 10.1007/978-3-642-45343-4_11

L. Amy, G. P. Murphy, G. Picco, and . Roman, Lime: A coordination model and middleware supporting mobility of hosts and agents, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.279-328, 2006.

A. Omicini and M. Viroli, Coordination models and languages: from parallel computing to self-organisation, The Knowledge Engineering Review, vol.6, issue.01, pp.53-59, 2011.
DOI : 10.1016/S0167-6423(01)00011-9

A. Omicini and F. Zambonelli, Tucson: a coordination model for mobile information agents, Proceedings of the 1st Workshop on Innovative Internet Information Systems, 1998.
DOI : 10.1108/10662249810241266

A. Omicini and F. Zambonelli, Coordination for internet application development, Autonomous Agents and Multi-Agent Systems, vol.2, issue.3, pp.251-269, 1999.
DOI : 10.1023/A:1010060322135

A. George, F. Papadopoulos, and . Arbab, Coordination models and languages Advances in computers, pp.329-400, 1998.

D. Pianini, S. Montagna, and M. Viroli, Chemical-oriented simulation of computational systems with ALCHEMIST, Journal of Simulation, vol.7, issue.3, pp.202-215, 2013.
DOI : 10.1057/jos.2012.27

K. Schmidt, Lola a low level analyser In Application and Theory of Petri Nets, 2000.

. Adja-ndeye and . Sylla, Maxime Louvel, and François Pacull. Coordination Rules Generation from Coloured Petri Net Models, PNSE@ Petri Nets, pp.325-326, 2015.

M. Adja-ndeye-sylla, E. Louvel, and . Rutten, Combining Transactional and Behavioural Reliability in Adaptive Middleware, ACM Proceedings of the 15th Int. Workshop on Adaptive and Reflective Middleware, p.5, 2016.

M. I. Vergara-gallego, O. Mokrenko, M. Louvel, S. Lesecq, and F. Pacull, Implementation of an Energy Management Control Strategy for WSNs Using the LINC Middleware, Proceedings of the 2016 International Conference on Embedded Wireless Systems and Networks, pp.53-58, 2016.
URL : https://hal.archives-ouvertes.fr/cea-01480849

M. Viroli, M. Casadei, S. Montagna, and F. Zambonelli, Spatial Coordination of Pervasive Services through Chemical-Inspired Tuple Spaces, ACM Transactions on Autonomous and Adaptive Systems, vol.6, issue.2, pp.1-1424, 2011.
DOI : 10.1145/1968513.1968517
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.1728

M. Viroli and A. Omicini, ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications, Electronic Notes in Theoretical Computer Science, vol.180, issue.2, pp.123-144, 2007.
DOI : 10.1016/j.entcs.2006.10.049
URL : http://doi.org/10.1016/j.entcs.2006.10.049