G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

Y. A. Alrahman, R. De-nicola, and M. Loreti, On the Power of Attribute-Based Communication, International Conference on Formal Techniques for Distributed Objects, Components, and Systems, pp.1-18, 2016.
DOI : 10.1007/978-3-642-45364-9_11
URL : https://hal.archives-ouvertes.fr/hal-01432924

Y. A. Alrahman and M. Loreti, AbaCuS: A Run-time environment of the AbC calculus . https://github.com/lazkany, AbC, 2016.

J. Armstrong, Programming Erlang: software for a concurrent world, 2007.
DOI : 10.1007/978-3-540-73589-2_1

J. Armstrong, Erlang, Communications of the ACM, vol.53, issue.9, pp.68-75, 2010.
DOI : 10.1145/1810891.1810910
URL : http://dl.acm.org/ft_gateway.cfm?id=1810910&type=pdf

S. Aronis, N. Papaspyrou, K. Roukounaki, K. Sagonas, Y. Tsiouris et al., A scalability benchmark suite for Erlang/OTP, Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop, Erlang '12, pp.33-42, 2012.
DOI : 10.1145/2364489.2364495

S. Blau, J. Rooth, J. Axell, F. Hellstrand, M. Buhrgard et al., AXD 301: A new generation ATM switching system, Computer Networks, vol.31, issue.6, pp.559-582, 1999.
DOI : 10.1016/S0169-7552(98)00282-7
URL : http://www.ericsson.com/datacom/emedia/ericssonvol31iss6.pdf

O. Boudeville, F. Cesarini, N. Chechina, K. Lundin, N. Papaspyrou et al., RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software, International Symposium on Trends in Functional Programming, pp.263-278, 2012.
DOI : 10.1007/978-3-642-40447-4_17

L. Cesari, R. De-nicola, R. Pugliese, M. Puviani, F. Tiezzi et al., Formalising Adaptation Patterns for Autonomic Ensembles, Formal Aspects of Component Software, pp.100-118, 2013.
DOI : 10.1007/978-3-319-07602-7_8

P. Charles, C. Grothoff, V. Saraswat, C. Donawa, A. Kielstra et al., X10, ACM SIGPLAN Notices, vol.40, issue.10, pp.519-538, 2005.
DOI : 10.1145/1103845.1094852
URL : https://hal.archives-ouvertes.fr/in2p3-00166974

D. Nicola, R. Loreti, M. Pugliese, R. Tiezzi, and F. , A Formal Approach to Autonomic Systems Programming, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.2, p.7, 2014.
DOI : 10.1145/2209249.2209268

Á. F. Díaz, C. B. Earle, and L. Å. Fredlund, eJason: An Implementation of Jason in Erlang, International Workshop on Programming Multi-Agent Systems, pp.1-16, 2012.
DOI : 10.1007/978-3-642-38700-5_1

A. Ferscha, Collective adaptive systems, Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, UbiComp '15, pp.893-895, 2015.
DOI : 10.1016/j.pmcj.2014.12.002

M. Fontoura, S. Sadanandan, J. Shanmugasundaram, S. Vassilvitski, E. Vee et al., Efficiently evaluating complex boolean expressions, Proceedings of the 2010 international conference on Management of data, SIGMOD '10, pp.3-14, 2010.
DOI : 10.1145/1807167.1807171
URL : http://theory.stanford.edu/~sergei/papers/sigmod10-index.pdf

C. Fournet and G. Gonthier, The reflexive CHAM and the join-calculus, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '96, pp.372-385, 1996.
DOI : 10.1145/237721.237805

D. Gale and L. S. Shapley, College Admissions and the Stability of Marriage, The American Mathematical Monthly, vol.69, issue.1, pp.9-15, 1962.
DOI : 10.2307/2312726

I. P. Gent and P. Prosser, An empirical study of the stable marriage problem with ties and incomplete lists, Proceedings of the 15th European Conference on Artificial Intelligence, pp.141-145, 2002.

P. Harrenstein, D. Manlove, and M. Wooldridge, The Joy of Matching, IEEE Intelligent Systems, vol.28, issue.2, pp.81-85, 2013.
DOI : 10.1109/MIS.2013.49

C. Hewitt, P. Bishop, and R. Steiger, A universal modular actor formalism for artificial intelligence, Proceedings of the 3rd international joint conference on Artificial intelligence, pp.235-245, 1973.

R. Hirschfeld, P. Costanza, and O. Nierstrasz, Context-oriented Programming., The Journal of Object Technology, vol.7, issue.3, 2008.
DOI : 10.5381/jot.2008.7.3.a4

Z. Hu, J. Hughes, and M. Wang, How functional programming mattered, National Science Review, vol.2, issue.3, pp.349-370, 2015.
DOI : 10.1093/nsr/nwv042
URL : https://academic.oup.com/nsr/article-pdf/2/3/349/6087381/nwv042.pdf

J. Hughes, Why Functional Programming Matters, The Computer Journal, vol.32, issue.2, pp.98-107, 1989.
DOI : 10.1093/comjnl/32.2.98
URL : https://academic.oup.com/comjnl/article-pdf/32/2/98/1445644/320098.pdf

K. Iwama and S. Miyazaki, A Survey of the Stable Marriage Problem and Its Variants, International Conference on Informatics Education and Research for Knowledge-Circulating Society (icks 2008), pp.131-136, 2008.
DOI : 10.1109/ICKS.2008.7

K. Iwama, S. Miyazaki, Y. Morita, and D. Manlove, Stable marriage with incomplete lists and ties, International Colloquium on Automata, Languages, and Programming, pp.443-452, 1999.
DOI : 10.1007/3-540-48523-6_41

D. Klaftenegger, K. Sagonas, and K. Winblad, On the scalability of the Erlang term storage, Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, Erlang '13, pp.15-26, 2013.
DOI : 10.1145/2505305.2505308

D. Krzywicki, W. Turek, A. Byrski, and M. Kisiel-dorohinicki, Massively concurrent agent-based evolutionary computing, Journal of Computational Science, vol.11, pp.153-162, 2015.
DOI : 10.1016/j.jocs.2015.07.003
URL : http://arxiv.org/pdf/1501.06721

D. Munera, D. Diaz, S. Abreu, F. Rossi, V. Saraswat et al., Solving hard stable matching problems via local search and cooperative parallelization The Rare Programming Lan- guage Behind WhatsApp's Success, 29th AAAI Conference on Artificial Intelligence (2015) 31. O'Connell, A.: Inside Erlang, 2014.

H. Plociniczak and S. Eisenbach, JErlang: Erlang with Joins, International Conference on Coordination Languages and Models, pp.61-75, 2010.
DOI : 10.1007/978-3-642-13414-2_5
URL : https://hal.archives-ouvertes.fr/hal-01054623

G. Salvaneschi, C. Ghezzi, and M. Pradella, ContextErlang: A language for distributed context-aware self-adaptive applications, Science of Computer Programming, vol.102, pp.20-43, 2015.
DOI : 10.1016/j.scico.2014.11.016

S. Stalio, D. Carlo, G. Parlati, S. Spinnato, and P. , Resource management on a vm based computer cluster for scientific computing. arXiv preprint arXiv, pp.1212-4658, 2012.

S. Thompson and F. Cesarini, Erlang programming: A concurrent approach to software development, 2009.

M. Wirsing, M. Hölzl, N. Koch, and P. Mayer, Software Engineering for Collective Autonomic Systems: The ASCENS Approach, Lecture Notes in Computer Science, vol.8998, 2015.
DOI : 10.1007/978-3-319-16310-9