U. Fragment-simple-du-bio?-calcul and .. , 99 6.2.1 Syntaxe et sémantique, 99 6.2.2 Modélisation de la transduction du signal . . . . . . 105 6.2.3 Sémantique extensionnelle . . . . . . . . . . . . . . . 107

[. Cardelli, Brane Calculi, Computational Methods in Systems Biology, pp.257-278, 2005.
DOI : 10.1016/S0020-0190(01)00214-9

[. Cardelli and A. D. Gordon, Mobile ambients, Theoretical Computer Science, vol.240, issue.1, pp.177-213, 2000.
DOI : 10.1016/S0304-3975(99)00231-5

V. Danos and J. Krivine, Formal Molecular Biology Done in CCS-R, Bio-Concur'03, satellite workshop of CONCUR'03, 2003.
DOI : 10.1016/j.entcs.2004.01.040

V. Danos and J. Krivine, Reversible Communicating Systems, CONCUR 2004 -Concurrency Theory, pp.292-307, 2004.
DOI : 10.1007/BFb0012800
URL : https://hal.archives-ouvertes.fr/hal-00784051

V. Danos and J. Krivine, Transactions in RCCS, Sixteenth International Conference on Concurrency Theory, CONCUR'05, 2005.
DOI : 10.1007/11539452_31
URL : https://hal.archives-ouvertes.fr/hal-00164585

V. Danos, J. Krivine, and F. Tarissan, Self-assembling Trees, Proceedings of the Workshop on Structural Operational Semantics (SOS'06, 2006.
DOI : 10.1016/j.entcs.2006.11.017
URL : https://hal.archives-ouvertes.fr/hal-00155303

V. Danos and C. Laneve, Core Formal Molecular Biology, Proceedings of the 12th European Symposium on Programming (ESOP'03), volume 2618 of Lecture Notes in Computer Science, pp.302-318, 2003.
DOI : 10.1007/3-540-36575-3_21

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

V. Danos and S. Pradalier, Projective Brane Calculus, Computational Methods in Systems Biology, pp.134-148, 2004.
DOI : 10.1021/j100540a008
URL : https://hal.archives-ouvertes.fr/hal-00164593

E. Drexler and R. Smalley, Contro- versy about molecular assemblers. Available at www.foresight.org, 2003.

. Vincent-danos-and-fabien-tarissan, L. W. Fontana, and . Buss, Self-assembling graphs The barrier of objects : From dynamical systems to bounded organizations, Mechanisms, Symbols, and BIBLIOGRAPHIE Models Underlying Cognition Boundaries and Barriers, pp.498-507, 2005.

T. Daniel and . Gillespie, A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, pp.403-434, 1976.

T. Daniel and . Gillespie, Exact stochastic simulation of coupled chemical reactions, J. Phys. Chem, vol.81, pp.2340-2361, 1977.

J. Hasty, D. Mcmillen, and J. J. Collins, Engineered gene circuits, Nature, vol.19, issue.6912, pp.224-230, 2002.
DOI : 10.1073/pnas.97.14.7865

E. Klavins, Automatic synthesis of controllers for assembly and formation forming [LT06] Cosimo Laneve and Fabien Tarissan. A simple calculus for proteins and cells A Calculus of Communicating Systems, Proceedings of the International Conference on Robotics and Automation Proceedings of Workshop on Membrane Computing and Biologically Inspired Process Calculi (MECBIC'06)Mil89b] Robin Milner. Communication and Concurrency. International Series on Computer ScienceMil99] Robin Milner. Communicating and mobile systems : the ?-calculus, 1989.

R. Nagpal, Programmable self-assembly using biologicallyinspired multiagent control Concurrency and automata on infinite sequences, Autonomous Agents and Multiagent Systems Conference (AAMAS)Par81] David Park Proceedings of the 5th GI-Conference on Theoretical Computer Science, pp.167-183, 1981.
DOI : 10.1145/544838.544839
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.161.7492

[. Priami, A. Regev, E. Shapiro, and W. Silverman, Stochastic pi-calculus. The Computer Journal Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, vol.38, issue.80, pp.578-58925, 1995.

I. Phillips and I. Ulidowski, Reversing Algebraic Process Calculi, Proceedings of Foundations of Software Science and Computation Structures, pp.246-260, 2006.
DOI : 10.1007/11690634_17
URL : http://doi.org/10.1016/j.jlap.2006.11.002

A. Regev, E. M. Panina, W. Silverman, L. Cardelli, and E. 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

A. Regev, W. Silverman, and E. Shapiro, Representation and simulation of biochemical processes using the ??-calculus process algebra, Biocomputing 2001, pp.459-470, 2001.
DOI : 10.1142/9789814447362_0045

D. Sangiorgi, From ??-calculus to higher-order ??-calculus ??? and back, Proc. TAPSOFT'93, pp.151-166, 1993.
DOI : 10.1007/3-540-56610-4_62

D. Sangiorgi, On the bisimulation proof method, Mathematical Structures in Computer Science, vol.8, issue.5, pp.447-479, 1998.
DOI : 10.1017/S0960129598002527

D. Sangiorgi and D. Walker, The ?-calculus. A Theory of Mobile Processes, 2001.
URL : https://hal.archives-ouvertes.fr/inria-00073650