W. R. Ashby, Design for a Brain: The Origin of Adaptive Behavior, 1960.
DOI : 10.5962/bhl.title.7309

R. J. Bagley and D. J. Farmer, Spontaneous Emergence of a Metabolism, Artificial Life II, pp.93-140, 1992.

J. Banâtre and D. L. Métayer, The gamma model and its discipline of programming, Science of Computer Programming, vol.15, issue.1, pp.55-77, 1990.
DOI : 10.1016/0167-6423(90)90044-E

J. Banâtre, A. Coutant, and D. L. Métayer, A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, vol.4, issue.2, pp.133-144, 1988.
DOI : 10.1016/0167-739X(88)90012-X

J. Banâtre, P. Fradet, and D. L. Métayer, Multiset Processing: Mathematical,Computer Science, and Molecular Computing Points of View, chapter Gamma and the Chemical Reaction Model: Fifteen Years After, pp.17-44, 2001.

J. Banâtre and D. L. Métayer, Programming by multiset transformation, Communications of the ACM, vol.36, issue.1, pp.98-111, 1993.
DOI : 10.1145/151233.151242

A. Barros, M. Dumas, and P. Oaks, A Critical Overview of the Web Services Choreography Description Language, BPTrends, 2005.

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov et al., GCM: a grid extension to Fractal for autonomous distributed components, annals of telecommunications - annales des t??l??communications, vol.36, issue.1, pp.5-24, 2009.
DOI : 10.1145/383845.383872
URL : https://hal.archives-ouvertes.fr/inria-00323919

B. , I. Interface21, I. Oracle, . Sap, and S. Siebel, Service Component Architecture - Building Systems using a Service Oriented Architecture -A joint whitepaper, 2005.

G. Berry and G. Boudol, The Chemical Abstract Machine, Proceedings of the 17th ACM SIGPLAN- SIGACT Symposium on Principles of Programming Languages, POPL'90, pp.81-94, 1990.
DOI : 10.1016/0304-3975(92)90185-i
URL : https://hal.archives-ouvertes.fr/inria-00075426

M. Bertier, M. Obrovac, and C. Tedeschi, Adaptive atomic capture of multiple molecules, Journal of Parallel and Distributed Computing, vol.73, issue.9, pp.1251-1266, 2013.
DOI : 10.1016/j.jpdc.2013.03.010
URL : https://hal.archives-ouvertes.fr/hal-00915220

M. Bertier, M. Perrin, and C. Tedeschi, On the Complexity of Concurrent Multiset Rewriting Available at: https, 2013.

M. Bertier, M. Perrin, and C. Tedeschi, On the Complexity of Concurrent Multiset Rewriting, International Journal of Foundations of Computer Science, vol.9, issue.3, pp.67-83, 2016.
DOI : 10.1007/s10472-006-9033-2
URL : https://hal.archives-ouvertes.fr/hal-00912554

S. Biedermann, N. P. Karvelas, S. Katzenbeisser, T. Strufe, and A. Peter, ProofBook: An Online Social Network Based on Proof-of-Work and Friend-Propagation, Proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, pp.114-125, 2014.
DOI : 10.1007/978-3-319-04298-5_11

W. Binder, I. Constantinescu, and B. Faltings, Decentralized Orchestration of Composite Web Services, Proceedings of the 4th IEEE International Conference on Web Services, 2006.

H. Bouziane, C. Pérez, and T. Priol, A Software Component Model with Spatial and Temporal Compositions for Grid Infrastructures, 14th International Euro-Par Conference on Parallel Processing, pp.698-708, 2008.
DOI : 10.1007/978-3-540-85451-7_75
URL : https://hal.archives-ouvertes.fr/hal-00690415

I. Brito, Synchronous, Asynchronous and Hybrid Algorithms for DisCSP, Proceedings of the 10th International Conference on Principles and Practice of Constraint Programming, pp.791-791, 2004.
DOI : 10.1007/978-3-540-30201-8_70
URL : http://jmvidal.cse.sc.edu/library/brito04.pdf

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-121257, 2006.
DOI : 10.1002/spe.767

P. A. Buhler and J. M. Vidal, Enacting BPEL4WS Specified Workflows with Multiagent Systems, Proceedings of the 2nd Workshop on Web Services and Agent-Based Engineering, 2004.

K. Candan, J. Tatemura, D. Agrawal, and D. Cavendish, On Overlay Schemes to Support Point-inrange Queries for Scalable Grid Resource Discovery, Fifth IEEE International Conference on Peer-to- Peer Computing (P2P'05), 2005.

F. Cappello, E. Caron, M. Daydé, F. Desprez, Y. Jégou et al., Grid'5000: a large scale and highly reconfigurable grid experimental testbed, The 6th IEEE/ACM International Workshop on Grid Computing, 2005., 2005.
DOI : 10.1109/GRID.2005.1542730
URL : https://hal.archives-ouvertes.fr/hal-00684943

A. Casajus, R. Graciani, S. Paterson, and A. Tsaregorodtsev, DIRAC pilot framework and the DIRAC Workload Management System, Journal of Physics: Conference Series, vol.219, issue.6, 2010.
DOI : 10.1088/1742-6596/219/6/062049
URL : https://hal.archives-ouvertes.fr/in2p3-00737583

K. M. Chandy and J. Misra, The drinking philosophers problem, ACM Transactions on Programming Languages and Systems, vol.6, issue.4, pp.632-646, 1984.
DOI : 10.1145/1780.1804

A. Chatalic, M. Bertier, and C. Tedeschi, Efficient Execution of Chemically-Inspired Programs Using Gossip Protocols. internship report, Ecole normale supérieure de Rennes, 2013.

D. Cohen and J. M. Filho, Introducing a calculus for higher-order multiset programming, First International Conference on Coordination Languages and Models (COORDINATION'96), pp.124-141, 1996.
DOI : 10.1007/3-540-61052-9_43

D. Conte, P. Foggia, C. Sansone, and M. Vento, THIRTY YEARS OF GRAPH MATCHING IN PATTERN RECOGNITION, International Journal of Pattern Recognition and Artificial Intelligence, vol.31, issue.03, pp.265-298, 2004.
DOI : 10.1109/3477.956043
URL : https://hal.archives-ouvertes.fr/hal-01408706

S. A. Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing , STOC '71, pp.151-158, 1971.
DOI : 10.1145/800157.805047

S. B. Cooper, Computability Theory, 2003.

L. A. Cutillo, R. Molva, and T. Strufe, Safebook: A privacy-preserving online social network leveraging on real-life trust, IEEE Communications Magazine, vol.47, issue.12, pp.4794-101, 2009.
DOI : 10.1109/MCOM.2009.5350374
URL : https://hal.archives-ouvertes.fr/hal-00687143

A. Denis, C. Pérez, T. Priol, and A. Ribes, Padico: a component-based software infrastructure for Grid computing, Proceedings International Parallel and Distributed Processing Symposium, 2003.
DOI : 10.1109/IPDPS.2003.1213073
URL : https://hal.archives-ouvertes.fr/inria-00071604

C. , D. Napoli, M. Giordano, Z. Németh, and N. Tonellotto, Adaptive Instantiation of Service Workflows Using a Chemical Approach, Proceedings of the 16th International Euro-Par Conference on Parallel Processing, 2010.

P. Dittrich, J. Ziegler, and W. Banzhaf, Artificial Chemistries???A Review, Artificial Life, vol.17, issue.3, pp.225-275, 2001.
DOI : 10.1162/106454601753138998
URL : http://ls11-www.informatik.uni-dortmund.de/people/banzhaf/ac_review.pdf

A. Doniec, S. Piechowiak, and R. Mandiau, A DisCSP Solving Algorithm Based on Sessions, 18th International Florida Artificial Intelligence Research Society Conference (FLAIRS), pp.666-670, 2005.

P. Downes, O. Curran, J. Cunniffe, and A. Shearer, Distributed Radiotherapy Simulation with the Webcom Workflow System, The International Journal of High Performance Computing Applications, vol.17, issue.2, pp.213-227, 2010.
DOI : 10.1007/11605300_10

T. B. Downing, Java RMI: Remote Method Invocation. IDG Books Worldwide, 1998.

A. Fabre, M. Bertier, and C. Tedeschi, Distributed Algorithms for Personal Data Management, 2016.

H. Fernández, Flexible Coordination Based on the Chemical Metaphor for Service Infrastructures, 2012.

H. Fernández, T. Priol, and C. Tedeschi, Decentralized Approach for Execution of Composite Web Services Using the Chemical Paradigm, 2010 IEEE International Conference on Web Services, pp.139-146, 2010.
DOI : 10.1109/ICWS.2010.46

H. Fernández, 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

H. Fernández, C. Tedeschi, and T. Priol, A Chemistry-Inspired Workflow Management System for Decentralizing Workflow Execution, IEEE Transactions on Services Computing, vol.9, issue.2, pp.213-226, 2016.
DOI : 10.1109/TSC.2013.27

R. Ferreira-da-silva, T. Glatard, and F. Desprez, Self-healing of workflow activity incidents on distributed computing infrastructures, Future Generation Computer Systems, vol.29, issue.8, pp.2284-2294, 2013.
DOI : 10.1016/j.future.2013.06.012
URL : https://hal.archives-ouvertes.fr/hal-00828491

W. Fontana and L. W. Buss, The Arrival of the Fittest: Toward a Theory of Biological Organization, Bulletin of Mathematical Biology, vol.56, issue.1, pp.1-64, 1994.

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://www.cis.umassd.edu/~hxu/courses/cis602/papers/p80-gelernter-linda.pdf

J. Giavitto, O. Michel, and A. Spicher, Spatial Organization of the Chemical Paradigm and the Specification of Autonomic Systems, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions, pp.235-254, 2008.
DOI : 10.1016/j.biosystems.2006.12.009
URL : https://hal.archives-ouvertes.fr/hal-00645997

Y. Gil, E. Deelman, M. H. Ellisman, T. Fahringer, G. Fox et al., Examining the Challenges of Scientific Workflows, Computer, vol.40, issue.12, pp.4024-4056, 2007.
DOI : 10.1109/MC.2007.421

T. Glatard, J. Montagnat, D. Lingrand, and X. Pennec, Flexible and Efficient Workflow Deployment of Data-Intensive Applications On Grids With MOTEUR, The International Journal of High Performance Computing Applications, vol.34, issue.3, pp.347-360, 2008.
DOI : 10.1145/1084805.1084814

S. Grumbach and F. Wang, Netlog, a Rule-Based Language for Distributed Programming, 12th International Symposium on Practical Aspects of Declarative Languages (PADL), pp.88-103, 2010.
DOI : 10.1007/978-3-642-11503-5_9

F. Hayes-roth, Rule-based systems, Communications of the ACM, vol.28, issue.9, pp.921-932, 1985.
DOI : 10.1145/4284.4286

B. Hindman, A. Konwinski, M. Zaharia, A. Ghodsi, A. D. Joseph et al., Mesos: A Platform for Fine-grained Resource Sharing in the Data Center, Proceedings of the 8th USENIX Conference on Networked Systems Design and Implementation, 2011.

G. Rignanese, D. Hautier, K. A. Gunter, and . Persson, FireWorks: a Dynamic Workflow System Designed for High-Throughput Applications. Concurrency and Computation: Practice and Experience, pp.5037-5059, 2015.

M. Jelasity, A. Montresor, and O. Babaoglu, Gossip-based aggregation in large dynamic networks, ACM Transactions on Computer Systems, vol.23, issue.3, pp.219-252, 2005.
DOI : 10.1145/1082469.1082470

K. Jensen and L. M. Kristensen, Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 2009.
DOI : 10.1007/s10009-007-0038-x
URL : http://www.utdallas.edu/~htj041000/phd/CPN_CPNTools.pdf

A. Kermarrec and M. Van-steen, Gossiping in distributed systems, ACM SIGOPS Operating Systems Review, vol.41, issue.5, pp.2-7, 2007.
DOI : 10.1145/1317379.1317381
URL : http://www.cs.vu.nl/~steen/papers/2007.osr.pdf

D. Koll, J. Li, and X. Fu, Soup: an Online Social Network by the People, for the People, 15th International ACM/IFIP/USENIX Middleware Conference, pp.193-204, 2014.

H. Kuchen and K. Gladitz, Parallel implementation of bags, Proceedings of the conference on Functional programming languages and computer architecture , FPCA '93, pp.299-307, 1993.
DOI : 10.1145/165180.165226

J. Larrosa and G. Valiente, Constraint satisfaction algorithms for graph pattern matching, Mathematical Structures in Computer Science, vol.12, issue.04, pp.403-422, 2002.
DOI : 10.1017/S0960129501003577

L. Métayer, Higher-order multiset programming, Proceedings of the DIMACS workshop on specifications of parallel algorithms, DIMACS series in Discrete Mathematics, 1994.
DOI : 10.1090/dimacs/018/13

H. Lin, J. Kemp, and P. Gilbert, Computing Gamma Calculus on Computer Cluster, International Journal of Technology Diffusion, vol.1, issue.4, pp.42-52, 2010.
DOI : 10.4018/jtd.2010100104

D. Lingrand, J. Montagnat, and T. Glatard, Modeling user submission strategies on production grids, Proceedings of the 18th ACM international symposium on High performance distributed computing, HPDC '09, 2009.
DOI : 10.1145/1551609.1551633
URL : https://hal.archives-ouvertes.fr/hal-00459073

J. W. Lloyd, Practical Advantages of Declarative Programming, Proceedings of the 1994 Joint Conference on Declarative Programming (GULP-PRODE'94), pp.18-30

N. A. Lynch, D. Malkhi, and D. Ratajczak, Atomic Data Access in Distributed Hash Tables, Revised Papers from the First International Workshop on Peer-to-Peer Systems, IPTPS'01, pp.295-305, 2002.
DOI : 10.1007/3-540-45748-8_28
URL : http://theory.lcs.mit.edu/tds/papers/Lynch/lncs02.pdf

D. Martin, D. Wutke, and F. Leymann, A Novel Approach to Decentralized Workflow Enactment, 2008 12th International IEEE Enterprise Distributed Object Computing Conference, 2008.
DOI : 10.1109/EDOC.2008.22

B. T. Messmer and H. Bunke, Subgraph Isomorphism in Polynomial Time, 1995.
DOI : 10.1007/3-540-60793-5_91

R. A. Micillo, S. Venticinque, N. Mazzocca, and R. Aversa, An Agent-Based Approach for Distributed Execution of Composite Web Services, 2008 IEEE 17th Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2008.
DOI : 10.1109/WETICE.2008.20

S. Nakamoto, Bitcoin: A Peer-to-Peer Electronic Cash System, 2009.

Z. Németh, C. Pérez, and T. Priol, Workflow Enactment Based on a Chemical Methaphor, Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods, 2005.

R. D. Nicola, G. Ferrari, and R. Pugliese, KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998.
DOI : 10.1109/32.685256

M. Obrovac, Chemical Computing for Distributed Systems: Algorithms and Implementation, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00925257

M. Obrovac and C. Tedeschi, Deployment and Evaluation of a Decentralised Runtime for Concurrent Rule-Based Programming Models, 14th International Conference on Distributed Computing and Networking, pp.408-422, 2013.
DOI : 10.1007/978-3-642-35668-1_28
URL : https://hal.archives-ouvertes.fr/hal-00755997

M. Obrovac and C. Tedeschi, Distributed Chemical Computing: A Feasibility Study, International Journal of Unconventional Computing, vol.9, issue.3-4, pp.203-236, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00716124

M. Parashar and S. Hariri, Autonomic Computing: An Overview, International Workshop on Unconventional Programming Paradigms (UPP), pp.257-269, 2004.
DOI : 10.1007/11527800_20
URL : http://www.caip.rutgers.edu/TASSL/Papers/automate-upp-overview-05.pdf

G. P?-aun, G. Rozenberg, and A. Salomaa, The Oxford Handbook of Membrane Computing, 2010.

M. J. Quinn, Parallel Programming in C with MPI and OpenMP, 2003.

Y. Radenac, Programmation " chimique " d'ordre supérieur, 2007.

L. Ramakrishnan, S. S. Poon, V. Hendrix, D. K. Gunter, G. Z. Pastorello et al., Experiences with User-Centered Design for the Tigres Workflow API, 2014 IEEE 10th International Conference on e-Science, pp.290-297, 2014.
DOI : 10.1109/eScience.2014.56

J. R. Balderrama, M. Simonin, C. Morin, V. Hendrix, L. Ramakrishnan et al., Combining Workflow Templates with a Shared Space-Based Execution Model, 2014 9th Workshop on Workflows in Support of Large-Scale Science, 2014.
DOI : 10.1109/WORKS.2014.14
URL : https://hal.archives-ouvertes.fr/hal-01090670

J. R. Balderrama, M. Simonin, and C. Tedeschi, GinFlow: A Decentralised Adaptive Workflow Execution Manager, 2016 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2016.
DOI : 10.1109/IPDPS.2016.63
URL : https://hal.archives-ouvertes.fr/hal-01292135

A. I. Rowstron and P. Druschel, Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems, Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms (Middleware'01), pp.329-350, 2001.
DOI : 10.1007/3-540-45518-3_18

C. Schmidt and M. Parashar, Squid: Enabling search in DHT-based systems, Journal of Parallel and Distributed Computing, vol.68, issue.7, pp.962-975, 2008.
DOI : 10.1016/j.jpdc.2008.02.003
URL : http://nsfcac.rutgers.edu/TASSL/Papers/SquidEnablingSearchDHTbasedSystems.pdf

F. B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys, vol.22, issue.4, p.22, 1990.
DOI : 10.1145/98163.98167
URL : http://www.cs.cornell.edu/fbs/publications/86-800.ps

R. Sharma and A. Datta, SuperNova: Super-peers based architecture for decentralized online social networks, 2012 Fourth International Conference on Communication Systems and Networks (COMSNETS 2012), pp.1-10, 2012.
DOI : 10.1109/COMSNETS.2012.6151349
URL : http://arxiv.org/pdf/1105.0074.pdf

J. Siegel, CORBA 3 Fundamentals and Programming, 1999.

D. Skeen and M. Stonebraker, A Formal Model of Crash Recovery in a Distributed System, IEEE Transactions on Software Engineering, vol.9, issue.3, p.9, 1983.
DOI : 10.1109/TSE.1983.236608

M. Sonntag, K. Gorlach, D. Karastoyanova, F. Leymann, and M. Reiter, Process space-based scientific workflow enactment, International Journal of Business Process Integration and Management, vol.5, issue.1, pp.32-44, 2010.
DOI : 10.1504/IJBPIM.2010.033173

V. Springel, The cosmological simulation code gadget-2, Monthly Notices of the Royal Astronomical Society, vol.364, issue.4, pp.1105-1134, 2005.
DOI : 10.1111/j.1365-2966.2005.09655.x
URL : https://academic.oup.com/mnras/article-pdf/364/4/1105/18657201/364-4-1105.pdf

I. Stoica, R. Morris, D. Karger, M. F. Kaashoek, and H. Balakrishnan, Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications, Proceedings of the 2001 ACM Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM'01), pp.149-160, 2001.

Y. Suzuki and H. Tanaka, Symbolic chemical system based on abstract rewriting system and its behavior pattern, Artificial Life and Robotics, vol.56, issue.1, pp.211-219, 1997.
DOI : 10.1007/978-94-009-8947-4

C. Szyperski, Component Software: Beyond Object-Oriented Programming -2nd edition, 2002.

R. Tolosana-calasanz, J. A. Bañares, O. F. Rana, P. Alvarez, J. Ezpeleta et al., Adaptive exception handling for scientific workflows, Concurrency and Computation: Practice and Experience, vol.13, issue.2, pp.617-642, 2010.
DOI : http://doi.acm.org/10.1145/1082473.1082492

A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem, Proceedings of the London Mathematical Society. Second Series, vol.42, pp.230-265, 1936.

J. R. Ullmann, An Algorithm for Subgraph Isomorphism, Journal of the ACM, vol.23, issue.1, pp.31-42, 1976.
DOI : 10.1145/321921.321925
URL : http://www.cs.bgu.ac.il/~dinitz/Course/SS-12/Ullman_Algorithm.pdf

J. Neumann, First Draft of a Report on the EDVAC, IEEE Ann. Hist. Comput, vol.15, issue.4, pp.27-75, 1993.
DOI : 10.1007/978-3-642-61812-3_30

K. Wolstencroft, R. Haines, D. Fellows, A. Williams, D. Withers et al., The Taverna workflow suite: designing and executing workflows of Web Services on the desktop, web or in the cloud, The Taverna Workflow Suite: Designing and Executing Workflows of Web Services on the Desktop, Web or in the Cloud, pp.557-561, 2013.
DOI : 10.1093/nar/gkt328

W. Yu, Consistent and decentralized orchestration of BPEL processes, Proceedings of the 2009 ACM symposium on Applied Computing, SAC '09, 2009.
DOI : 10.1145/1529282.1529636

R. Zivan and A. Meisels, Parallel Backtrack Search on DisCSP, Proceedings of the Workshop on Distributed Constraint Reasoning (DCR-02), 2002.

R. Zivan and A. Meisels, Message delay and DisCSP search algorithms, Annals of Mathematics and Artificial Intelligence, vol.170, issue.1???2, pp.415-439, 2006.
DOI : 10.1023/A:1010078712316