K. Gary, A. D. Ackers, M. A. Johnson, and . Shea, Quantitative model for gene regulation by ? phage repressor, Proceedings of the National Academy of Sciences USA, pp.1129-1133, 1982.

A. Arkin, J. Ross, and H. H. Mcadams, Stochastic kinetic analysis of developmental pathway bifurcation in phage ?-infected Escherichia coli cells, Genetics, vol.149, pp.1633-1648, 1998.

E. Aurell, S. Brown, J. Johanson, and K. Sneppen, Stability puzzles in phage ??, Physical Review E, vol.65, issue.5, p.51914, 2002.
DOI : 10.1103/PhysRevE.65.051914
URL : http://arxiv.org/pdf/cond-mat/0010286v1.pdf

K. Baek, S. Svenningsen, H. Eisen, K. Sneppen, and S. Brown, Single-cell Analysis of ?? Immunity Regulation, Journal of Molecular Biology, vol.334, issue.3, pp.363-372, 2003.
DOI : 10.1016/j.jmb.2003.09.037

A. Bakk, Transcriptional activation mechanisms of the PRM promoter of ?? phage, Biophysical Chemistry, vol.114, issue.2-3, pp.229-234, 2005.
DOI : 10.1016/j.bpc.2004.12.008

G. Otto, R. B. Berg, and P. H. Winter, Diffusion-driven mechanisms of protein translocation on nucleic acids: 1 -models and theory, Biochemistry, vol.20, pp.6929-6948, 1981.

R. Bundschuh, F. Hayot, and C. Jayaprakash, The Role of Dimerization in Noise Reduction of Simple Genetic Networks, Journal of Theoretical Biology, vol.220, issue.2, pp.261-269, 2003.
DOI : 10.1006/jtbi.2003.3164

I. B. Dodd, A. J. Perkins, D. Tsemitsidis, and J. B. Egan, Octamerization of lambda CI repressor is needed for effective repression of PRM and efficient switching from lysogeny, Genes & Development, vol.15, issue.22, pp.3013-3022, 2001.
DOI : 10.1101/gad.937301

B. Ian, . Dodd, E. Keith, J. Shearwin, and . Barry-egan, Revisited gene regulation in bacteriophage ?, Current Opinion in Genetics & Development, vol.15, issue.2, pp.145-152, 2005.

I. B. Dodd, K. E. Shearwin, A. J. Perkins, T. Burr, A. Hochschild et al., Cooperativity in long-range gene regulation by the ?? CI repressor, Genes & Development, vol.18, issue.3, pp.344-354, 2004.
DOI : 10.1101/gad.1167904

J. Elf and M. Ehrenberg, What makes ribosome-mediated trascriptional attenuation sensitive to amino acid limitation?, PLoS Computational Biology, vol.1, issue.1, pp.14-23, 2005.
DOI : 10.1371/journal.pcbi.0010002
URL : http://doi.org/10.1371/journal.pcbi.0010002

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.

J. Hasty, D. Mcmillen, F. Isaacs, and J. J. Collins, Computational studies of gene regulatory networks: In numero molecular biology, Nature Reviews Genetics, vol.2, issue.4, pp.268-279, 2001.
DOI : 10.1038/35066056

D. Hawley, W. Johnson, and . Mcclure, Functional and physical characterization of transcription initiation complexes in the bacteriophage lambda OR region, J. Biol. Chem, vol.260, issue.14, pp.8618-8626, 1985.

D. K. Hawley and W. R. Mcclure, The effect of a lambda repressor mutation on the activation of transcription initiation from the lambda PRM promoter, Cell, vol.32, issue.2, pp.327-333, 1983.
DOI : 10.1016/0092-8674(83)90452-X

J. Hillston, A Compositional Approach to Performance Modelling Distinguished Dissertations Series, 1995.

T. Ideker, T. Galitski, and L. Hood, : Systems Biology, Annual Review of Genomics and Human Genetics, vol.2, issue.1, 2001.
DOI : 10.1146/annurev.genom.2.1.343

A. Johnson, . Poteete, R. Lauer, G. Sauer, M. Ackers et al., ?? Repressor and cro???components of an efficient molecular switch, Nature, vol.292, issue.5838, pp.294217-223, 1981.
DOI : 10.1038/294217a0

A. M. Kierzek, J. Zaim, and P. Zielenkiewicz, The Effect of Transcription and Translation Initiation Frequencies on the Stochastic Fluctuations in Prokaryotic Gene Expression, Journal of Biological Chemistry, vol.276, issue.11, pp.8165-8172, 2001.
DOI : 10.1074/jbc.M006264200

S. Kenneth, G. K. Koblan, and . Ackers, Site-specific enthalpic regulation of DNA transcription at bacteriophage ? OR, Biochemistry, vol.31, pp.57-65, 1992.

C. Kuttler, Bacterial transcription in the pi calculus, 3rd International Workshop on Computational Methods in Systems Biology, 2005.

M. Li, W. R. Mcclure, and M. M. Susskind, Changing the mechanism of transcriptional activation by phage ?? repressor, Proceedings of the National Academy of Sciences, vol.259, issue.5093, pp.3691-3696, 1997.
DOI : 10.1126/science.8420002

R. William and . Mcclure, Mechanism and control of transcription initiation in prokaryotes, Annual Review Biochemistry, vol.54, pp.171-204, 1985.

B. Meyer and M. Ptashne, Gene regulation at the right operator OR of bacteriophage lamba. I. OR3 and autegeneous negative control by repressor, J. Mol. Biol, pp.19-205, 1980.

C. B. Michalowski and J. W. Little, Positive Autoregulation of cI Is a Dispensable Feature of the Phage ?? Gene Regulatory Circuitry, Journal of Bacteriology, vol.187, issue.18, pp.6430-6442, 2005.
DOI : 10.1128/JB.187.18.6430-6442.2005

R. Milner, Communicating and Mobile Systems: the ?-calculus, 1999.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes (I and II) Information and Computation, pp.1-77, 1992.

I. Moll, G. Hirokawa, M. C. Kiel, A. Kaji, and U. Bläsi, Translation initiation with 70S ribosomes: an alternative pathway for leaderless mRNAs, Nucleic Acids Research, vol.32, issue.11, pp.3354-3363, 2004.
DOI : 10.1093/nar/gkh663
URL : http://doi.org/10.1093/nar/gkh663

A. B. Oppenheim, O. Kobiler, J. Stavans, D. L. Court, and S. Adhya, Switches in Bacteriophage Lambda Development, Annual Review of Genetics, vol.39, issue.1, pp.409-429, 2005.
DOI : 10.1146/annurev.genet.39.073003.113656

A. Phillips and L. Cardelli, A correct abstract machine for the stochastic pi-calculus, Transactions on Computational Systems Biology, 2005.

C. Priami, Stochastic ?-calculus, Computer Journal, vol.6, pp.578-589, 1995.

C. Priami, A. Regev, E. Shapiro, and W. Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, vol.80, issue.1, pp.25-31, 2001.
DOI : 10.1016/S0020-0190(01)00214-9

M. Ptashne, A Genetic Switch: Phage Lambda Revisited, 2004.

A. Regev, Computational Systems Biology: A Calculus for Biomolecular Knowledge, 2002.

A. Regev and E. Shapiro, Cells as Computation, Nature, vol.419, p.343, 2002.
DOI : 10.1007/3-540-36481-1_1

A. Regev and E. Shapiro, The ??-calculus as an Abstraction for Biomolecular Systems, Modelling in Molecular Biology, 2004.
DOI : 10.1007/978-3-642-18734-6_11

B. Révet, B. Von-wilcken-bergmann, H. Bessert, A. Barker, and B. Müller-hill, Four dimers of ?? repressor bound to two suitably spaced pairs of ?? operators form octamers and DNA loops over large distances, Current Biology, vol.9, issue.3, pp.151-154, 1999.
DOI : 10.1016/S0960-9822(99)80069-4

M. Shea and G. K. Ackers, The OR control system of bacteriophage lambda, Journal of Molecular Biology, vol.181, issue.2, pp.211-230, 1985.
DOI : 10.1016/0022-2836(85)90086-5

C. S. Shean and M. E. Gottesman, Translation of the prophage ?? cl transcript, Cell, vol.70, issue.3, pp.513-522, 1992.
DOI : 10.1016/0092-8674(92)90175-C

M. Slutsky and L. A. Mirny, Kinetics of Protein-DNA Interaction: Facilitated Target Location in Sequence-Dependent Potential, Biophysical Journal, vol.87, issue.6, pp.4021-4035, 2004.
DOI : 10.1529/biophysj.104.050765

K. Sneppen and G. Zocchi, Physics in Molecular Biology, 2005.
DOI : 10.1017/CBO9780511755699

L. Sine, N. Svenningsen, D. L. Costantino, S. Court, and . Adhya, On the role of Cro in ? prophage induction, Proceedings of the National Academy of Sciences USA, vol.102, issue.12, pp.4465-4469, 2005.

M. Jose, L. Vilar, and . Saiz, DNA looping in gene regulation: from the assembly of macromolecular complexes to the control of transcriptional noise, Current Opinion in Genetics & Development, vol.15, pp.1-9, 2005.

R. Wagner, Transcription Regulation in Prokaryotes, 2000.