R. Schollmeier, A definition of peer-to-peer networking for the classification of peer-to-peer architectures and applications, " Peer-to-Peer Computing, IEEE International Conference on, p.101, 2001.

C. Szyperski, Component Software : Beyond Object-Oriented Programming, 1998.

A. V. Aho, R. Sethi, and J. D. Ullman, Compilers: principles, techniques, and tools, 1986.

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892

K. Aberer and Z. Despotovic, Managing trust in a peer-2-peer information system, Proceedings of the tenth international conference on Information and knowledge management , CIKM'01, pp.310-317, 2001.
DOI : 10.1145/502585.502638

R. Stanley, Enumerative combinatorics, ser. Cambridge studies in advanced mathematics, 2001.

P. Deransart, M. Jourdan, and B. Lorho, Attribute grammars: definitions, systems and bibliography, 1988.

C. Baier and J. Katoen, Principles of Model Checking, 2008.

R. Govindarajan, S. Yu, and V. S. Lakshmanan, Attempting guards in parallel: A data flow approach to execute generalized guarded commands, International Journal of Parallel Programming, vol.128, issue.5, pp.225-268, 1992.
DOI : 10.1007/BF01421675

M. Jelasity, S. Voulgaris, R. Guerraoui, A. Kermarrec, and M. Van-steen, Gossip-based peer sampling, ACM Transactions on Computer Systems, vol.25, issue.3, 2007.
DOI : 10.1145/1275517.1275520

M. Jelasity, Gossip, Self-organising Software, ser. Natural Computing Series, pp.139-162, 2011.
DOI : 10.1007/978-3-642-17348-6_7

URL : https://hal.archives-ouvertes.fr/in2p3-00907406

D. E. Knuth, Semantics of context-free languages, Mathematical Systems Theory, vol.9, issue.2, pp.127-145, 1968.
DOI : 10.1007/BF01692511

M. Jourdan and D. Parigot, Techniques for improving grammar Flow Analysis, Proceedings of the third European symposium on programming on ESOP '90, pp.240-255, 1990.
DOI : 10.1007/3-540-52592-0_67

D. Parigot, G. Roussel, M. Jourdan, and E. Duris, Dynamic Attribute Grammars, Int. Symp. on Progr. Languages, Implementations , Logics and Programs (PLILP'96), pp.122-136, 1996.
DOI : 10.1007/3-540-61756-6_81

URL : https://hal.archives-ouvertes.fr/inria-00073810

J. B. Kam and J. D. Ullman, Global Data Flow Analysis and Iterative Algorithms, Journal of the ACM, vol.23, issue.1, pp.158-171, 1976.
DOI : 10.1145/321921.321938

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