O. Andrei and H. Kirchner, A Rewriting Calculus for Multigraphs with Ports, Proceedings 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), pp.407-414, 2007.
DOI : 10.1109/SYNASC.2007.44

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

O. Andrei and H. Kirchner, Strategic Port Graph Rewriting for Autonomic Computing, Proc. of TFIT'08, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00328491

E. Balland, P. Brauner, R. Kopetz, P. E. Moreau, and A. Reilles, Tom: Piggybacking Rewriting on Java, RTA'07, pp.36-47, 2007.
DOI : 10.1007/978-3-540-73449-9_5

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

J. P. 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. P. Banâtre, P. Fradet, and Y. Radenac, Programming Self-Organizing Systems with the Higher-Order Chemical Language, IJUC, vol.3, issue.3, pp.161-177, 2007.

J. P. Banâtre and D. L. Métayer, A new computational model and its discipline of programming, 1986.

G. Berry and G. Boudol, The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, pp.217-248, 1992.
DOI : 10.1016/0304-3975(92)90185-I

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

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 ELAN: a functional semantics, IJFCS, vol.12, issue.1, pp.69-98, 2001.

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

V. Danos and C. Laneve, Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004.
DOI : 10.1016/j.tcs.2004.03.065

URL : https://hal.archives-ouvertes.fr/hal-00164591

C. Kirchner, F. Kirchner, and H. Kirchner, Strategic computations and deductions, Festchrift in honor of Peter Andrews, 2008.

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, A Rewriting Semantics for Maude Strategies, Proc. of WRLA'08, 2008.
DOI : 10.1016/j.entcs.2009.05.022

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