C. Andre and F. Boulanger, Software implementation of synchronous programs, Proceedings Second International Conference on Application of Concurrency to System Design, pp.133-142, 2001.
DOI : 10.1109/CSD.2001.981771

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.6504

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

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

T. Cooper, Rule-based programming under OPS5, 1988.

G. Delaval and S. M. Gueye, Modular coordination of multiple autonomic managers, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.3-12, 2014.
DOI : 10.1145/2602458.2602465

URL : https://hal.archives-ouvertes.fr/hal-01006106

G. Delaval, ´. E. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, pp.385-418, 2013.
DOI : 10.1007/s10626-013-0163-5

URL : https://hal.archives-ouvertes.fr/hal-00863286

D. Dolev, C. Dwork, and L. Stockmeyer, On the minimal synchronism needed for distributed consensus, Journal of the ACM, vol.34, issue.1, pp.77-97, 1987.
DOI : 10.1145/7531.7533

M. García-valls, D. Perez-palacin, and R. Mirandola, Extending the verification capabilities of middleware for reliable distributed self-adaptive systems, 2014 12th IEEE International Conference on Industrial Informatics (INDIN), pp.164-169, 2014.
DOI : 10.1109/INDIN.2014.6945502

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

C. Maternaghan and K. J. Turner, Policy conflicts in home automation, Computer Networks, vol.57, issue.12, pp.2429-2441, 2013.
DOI : 10.1016/j.comnet.2013.02.026

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

I. Sarray and A. Ressouche, Safe Composition in Middleware for the Internet of Things, Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT 2015, pp.7-12, 2015.
DOI : 10.1109/ISORCW.2015.55

URL : https://hal.archives-ouvertes.fr/hal-01236976

T. G. Stavropoulos and K. Gottis, aWESoME: A web service middleware for ambient intelligence, Expert Systems with Applications, vol.40, issue.11, pp.4380-4392, 2013.
DOI : 10.1016/j.eswa.2013.01.061

A. N. Sylla, M. Louvel, and F. Pacull, Coordination rules generation from coloured Petri net models, Proceedings of the Int. Workshop on Petri Nets and Software Engineering, pp.325-326, 2015.