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
Concurrency control and recovery in database systems, 1987. ,
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
Linda in context, Communications of the ACM, vol.32, issue.4, pp.444-458, 1989. ,
DOI : 10.1145/63334.63337
Rule-based programming under OPS5, 1988. ,
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
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
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
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
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
Policy conflicts in home automation, Computer Networks, vol.57, issue.12, pp.2429-2441, 2013. ,
DOI : 10.1016/j.comnet.2013.02.026
The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989. ,
DOI : 10.1109/5.21072
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
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
Coordination rules generation from coloured Petri net models, Proceedings of the Int. Workshop on Petri Nets and Software Engineering, pp.325-326, 2015. ,