What do you mean, coordination. Bulletin of the Dutch Association for Theoretical Computer Science, NVTI, pp.1-18, 1998. ,
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
Gamma and the chemical reaction model: Fifteen years after, Multiset Processing, pp.17-44, 2001. ,
Concurrency control and recovery in database systems, 1987. ,
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
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
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
Rule-based Programming with OPS5, 1988. ,
TeenyLIME, Proceedings of the international workshop on Middleware for sensor networks , MidSens '06, pp.43-48, 2006. ,
DOI : 10.1145/1176866.1176874
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
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
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
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
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
Coordinated Concurrent Programming in Syndicate, LNCS, vol.9632, pp.310-336, 2016. ,
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
Component-based autonomic managers for coordination control, Coordination Models and Languages: 15th International Conference, pp.75-89, 2013. ,
Egospaces: Facilitating rapid development of context-aware mobile applications. Software Engineering, IEEE Transactions on, vol.32, issue.5, pp.281-298, 2006. ,
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
Peer-Based Programming Model for Coordination Patterns, Coordination Models and Languages, pp.121-135, 2013. ,
DOI : 10.1007/978-3-642-38493-6_9
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. ,
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
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
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
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
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. ,
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
Tucson: a coordination model for mobile information agents, Proceedings of the 1st Workshop on Innovative Internet Information Systems, 1998. ,
DOI : 10.1108/10662249810241266
Coordination for internet application development, Autonomous Agents and Multi-Agent Systems, vol.2, issue.3, pp.251-269, 1999. ,
DOI : 10.1023/A:1010060322135
Coordination models and languages Advances in computers, pp.329-400, 1998. ,
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
Lola a low level analyser In Application and Theory of Petri Nets, 2000. ,
Maxime Louvel, and François Pacull. Coordination Rules Generation from Coloured Petri Net Models, PNSE@ Petri Nets, pp.325-326, 2015. ,
Combining Transactional and Behavioural Reliability in Adaptive Middleware, ACM Proceedings of the 15th Int. Workshop on Adaptive and Reflective Middleware, p.5, 2016. ,
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
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
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