A. Abdulla and B. Jonsson, Regular Tree Model Checking, CAV'02, pp.555-568, 2002.
DOI : 10.1007/3-540-45657-0_47
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.7184

A. Abdulla and A. Legay, Simulation-Based Iteration of Tree Transducers, TACAS'05, pp.30-44, 2005.
DOI : 10.1007/978-3-540-31980-1_3

B. Bournez, G. Côme, V. Conraud, L. Héì-ene-kirchner, and . Ibanescu, A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms, RTA'03 RTA'03 BIK06. Olivier Bournez, Liliana Ibanescu, andHéì ene Kirchner 6th International Workshop on Rule-Based Programming RTA'02, volume 2378 of Lecture Notes in Computer Science, pp.30-45, 2002.
DOI : 10.1007/3-540-44881-0_4
URL : https://hal.archives-ouvertes.fr/inria-00099621

A. Bouajjani and T. Touili, Extrapolating Tree Transformations, CAV'02, pp.539-554, 2002.
DOI : 10.1007/3-540-45657-0_46
URL : https://hal.archives-ouvertes.fr/hal-00161115

A. Bouajjani and T. Touili, Reachability Analysis of Process Rewrite Systems, FSTTCS'03, pp.73-87, 2003.
DOI : 10.1007/978-3-540-24597-1_7
URL : https://hal.archives-ouvertes.fr/hal-00161112

F. , C. Flamm, W. Fontana, I. L. Hofacker, and P. Schuster, RNA folding at elementary step resolution, RNA, vol.6, issue.3, pp.325-338, 2000.

K. Kesten, O. Maler, M. Marcus, A. Pnueli, and E. Shahar, Symbolic model checking with rich assertional languages, Theoretical Computer Science, vol.256, issue.1-2, pp.93-112, 2001.
DOI : 10.1016/S0304-3975(00)00103-1

N. Kumar, K. Sen, J. Meseguer, and G. Agha, A Rewriting Based Model for Probabilistic Distributed Object Systems, FMOODS'03, pp.32-46, 2003.
DOI : 10.1007/3-540-45657-0_17

L. , V. Lyubetsky, S. Pirogov, L. Rubanov, and A. Seliverstov, Modeling classic attenuation regulation of gene expression in bacteria, Journal of Bioinformatics and Computational Biology, vol.5, issue.1, 2007.

L. , V. Lyubetsky, L. Rubanov, A. Seliverstov, and S. Pirogov, Model of gene expression regulation in bacteria via formation of RNA secondary structures Model of RNA-related regulation in bacteria, Molecular Biology RNA. RNAmodel, vol.40, issue.3, pp.440-453, 2006.

T. and T. Touili, Dealing with communication for dynamic multithreaded recursive programs, 1st VISSAS workshop, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00161109

M. Zuker, Mfold web server for nucleic acid folding and hybridization prediction, Nucleic Acids Research, vol.31, issue.13, pp.3406-3415, 2003.
DOI : 10.1093/nar/gkg595