O. Andrei and H. Kirchner, A Rewriting Calculus for Multigraphs with Ports, Proc. of RULE'07, 2007.
DOI : 10.1016/j.entcs.2008.10.035
URL : https://hal.archives-ouvertes.fr/inria-00139363

O. Andrei and H. Kirchner, Graph Rewriting and Strategies for Modeling Biochemical Networks, Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), 2007.
DOI : 10.1109/SYNASC.2007.44
URL : https://hal.archives-ouvertes.fr/inria-00146362

E. Balland, P. Brauner, R. Kopetz, P. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, RTA, pp.36-47, 2007.
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045

J. Banâtre, P. Fradet, and Y. Radenac, A Generalized Higher-Order Chemical Computation Model, Electronic Notes in Theoretical Computer Science, vol.135, issue.3, pp.3-13, 2006.
DOI : 10.1016/j.entcs.2005.09.016

J. Banâtre, P. Fradet, and Y. Radenac, Programming Self- Organizing Systems with the Higher-Order Chemical Language, International Journal of Unconventional Computing, vol.3, issue.3, pp.161-177, 2007.

J. Banatre and D. L. Metayer, A new computational model and its discipline of programming, 1986.
URL : https://hal.archives-ouvertes.fr/inria-00075988

J. Banâtre, Y. Radenac, and P. Fradet, Chemical Specification of Autonomic Systems, IASSE, pp.72-79, 2004.

C. Bertolissi, P. Baldan, H. Cirstea, and C. Kirchner, A Rewriting Calculus for Cyclic Higher-order Term Graphs, Electronic Notes in Theoretical Computer Science, vol.127, issue.5, pp.21-41, 2005.
DOI : 10.1016/j.entcs.2005.01.034
URL : https://hal.archives-ouvertes.fr/inria-00100095

P. Borovansk´yborovansk´y, C. Kirchner, H. Kirchner, and C. Ringeissen, REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS, International Journal of Foundations of Computer Science, vol.12, issue.01, pp.69-98, 2001.
DOI : 10.1142/S0129054101000412

L. Cardelli, Brane Calculi, LNCS, vol.80, issue.2, pp.257-278
DOI : 10.1016/S0020-0190(01)00214-9

N. Chabrier-rivier, F. Fages, and S. Soliman, The Biochemical Abstract Machine BIOCHAM, LNCS, vol.11, pp.172-191, 2005.
DOI : 10.1007/BF03037227
URL : https://hal.archives-ouvertes.fr/inria-00000814

A. J. Chakravarti, G. Baumgartner, and M. Lauria, Application-Specific Scheduling for the Organic Grid, pp.146-155, 2004.

H. Cirstea and C. Kirchner, The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001.
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532

H. Cirstea, C. Kirchner, L. Liquori, and B. Wack, Rewrite Strategies in the Rewriting Calculus, Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation -Part I: Basic Concepts and Double Pushout Approach, pp.593-624, 2003.
DOI : 10.1016/S1571-0661(05)82613-1
URL : https://hal.archives-ouvertes.fr/inria-00099586

V. Danos and S. Pradalier, Projective Brane Calculus, LNCS, vol.81, issue.1, pp.134-148, 2004.
DOI : 10.1021/j100540a008
URL : https://hal.archives-ouvertes.fr/hal-00164593

A. Habel, R. Heckel, and G. Taentzer, Graph Grammars with Negative Application Conditions, Fundam. Inform, vol.26, issue.34, pp.287-313, 1996.

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

C. Kirchner, F. Kirchner, and H. Kirchner, Strategic computations and deductions, 2007.

C. Kirchner, H. Kirchner, and M. Vittek, Designing Constraint Logic Programming Languages using Computational Systems, Principles and Practice of Constraint Programming, pp.131-158, 1995.

C. Kirchner, R. Kopetz, and P. Moreau, Anti-pattern Matching, ESOP, pp.110-124
DOI : 10.1007/978-3-540-71316-6_9
URL : https://hal.archives-ouvertes.fr/inria-00337722

J. W. Klop, Term Rewriting Systems, Handbook of Logic in Computer Science, 1990.

J. W. Klop, V. Van-oostrom, and F. Van-raamsdonk, Reduction Strategies and Acyclicity, Rewriting, Computation and Proof, 2007.
DOI : 10.1007/978-3-540-73147-4_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.9139

C. Laneve and F. Tarissan, A simple calculus for proteins and cells, ENTCS, vol.171, issue.2, pp.139-154, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01217855

N. Martí-oliet, J. Meseguer, and A. Verdejo, Towards a Strategy Language for Maude, Electronic Notes in Theoretical Computer Science, vol.117, pp.417-441, 2004.
DOI : 10.1016/j.entcs.2004.06.020

R. Milner, Pure bigraphs: Structure and dynamics, Information and Computation, vol.204, issue.1, pp.60-122, 2006.
DOI : 10.1016/j.ic.2005.07.003
URL : http://doi.org/10.1016/j.ic.2005.07.003

D. Plump, A. Middeldorp, V. Van-oostrom, F. Van-raamsdonk, and R. C. De-vrijer, Confluence of Graph Transformation Revisited, Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp.280-308, 2005.
DOI : 10.1007/11601548_16

A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. Y. Shapiro, BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004.
DOI : 10.1016/j.tcs.2004.03.061

E. Visser, Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5, LNCS, vol.2051, pp.357-361, 2001.
DOI : 10.1007/3-540-45127-7_27