Formal molecular biology

Theoretical Computer Science

Volumn 325, Issue 1, 2004, Pages 69-110

  Danos, Vincent ^a   Laneve, Cosimo ^b  

^a UNIVERSITÉ PARIS DESCARTES   (France)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; CELLS; COMPUTER SCIENCE; DRUG INTERACTIONS; FEEDBACK; PROTEINS; SEMANTICS; SYNCHRONIZATION;

BIOLOGICAL NETWORKS; COARSER-GRAINED LANGUAGE; CONCURRENT MODELS; MONOTONICITY;

MOLECULAR BIOLOGY;

EID: 4444382239     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2004.03.065     Document Type: Conference Paper

References (28)

1. Berry G., Boudol G. The chemical abstract machine. Theoret. Comput. Sci. 96:1992;217-248.
2. R. Bruni, C. Laneve, U. Montanari, Orchestrating transactions in join calculus, in: Proc. CONCUR'02. Lecture Notes in Computer Science, Vol. 2421, Springer, Berlin, 2002, pp. 321-337.
3. L. Cardelli, Brane calculi, in: Proc. BIO-CONCUR'03, Marseille, France, Electronic Notes in Theoretical Computer Science, Elsevier, Amsterdam, 2003, to appear.
4. L. Cardelli, P. Gardner, G. Ghelli, Manipulating trees with hidden labels, in: Proc. FOSSACS 2003, Lecture Notes in Computer Science, Vol. 2620, Springer, Berlin, 2003, p. 216-232.
5. M. Chiaverini, V. Danos, A core modeling language for the working molecular biologist, in: Proc. CMSB'03, Lecture Notes in Computer Science, Vol. 2602, Springer, Berlin, 2003, p. 166.
6. V. Danos, J. Krivine, Formal molecular biology done in CCS, in: Proc. BIO-CONCUR'03, Marseille, France, Electronic Notes in Theoretical Computer Science, Elsevier, 2003, to appear.
7. V. Danos, G. Laneve, Core formal molecular biology, in: Proc. 12th European Symp. on Programming (ESOP'03), Warsaw, Poland, Lecture Notes in Computer Science, Vol. 2618, Springer, Berlin, 2003, pp. 302-318.
8. V. Danos, C. Laneve, Graphs for formal molecular biology, in: Proc. First Internat. Workshop on Computational Methods in Systems Biology (CMSB'03), Rovereto, Italy, Lecture Notes in Computer Science, Vol. 2602, Springer Berlin, 2003, pp. 34-46.
9. Diestel R. Graph Theory. 2000;Springer, New York.
10. F.L. Fessant, Jocaml: Conception et implémentation d'un langage à agents mobiles, Ph.D. Thesis, Ecole Polytechnique, France, 2001.
11. Fontana W., Buss L.W. The barrier of objects: from dynamical systems to bounded organizations. Casti J., Karlqvist A. Boundaries and Barriers. 1996;56-116 Addison-Wesley, Reading, MA.
12. C. Fournet, G. Gonthier, The reflexive chemical abstract machine and the join-calculus, in: 23rd ACM Symp. on Principles of Programming Languages (POPL'96), 1996.
13. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81:1977;2340-2361.
14. Hasty J., McMillen D., Collins J.J. Engineered gene circuits. Nature. 420:2002;224-230.
15. Inada T., Kimata K., Aiba H. Mechanism responsible for glucose-lactose diauxie in Escherichia Coli. challenge to the cAMP model Genes Cells. 1(3):1996;293-301.
16. J.W. Kimball, Kimball's biology pages, Online Biology Textbook, 2003.
17. E. Klavins, Automatic synthesis of controllers for assembly and formation forming, in: Proc. Internat. Conf. on Robotics and Automation, 2002.
18. K.W. Kohn, Molecular interaction map of the mammalian cell cycle control and DNA repair systems, Mol. Biol. Cell (10) (1999) 2703-2734.
19. Lafont Y. Interaction combinators. Inform. and Comput. 137(1):1997;69-101.
20. Milner R., Parrow J., Walker D. A calculus of mobile processes I and II. Inform. and Comput. 100:1992;1-41, 42-78.
21. J. Monod, F. Jacob, General conclusions: teleonomic mechanisms in cellular metabolism, growth and differentiation, Cold Spring Harbor Symp. on Quantitative Biology: Cellular Regulatory Mechanisms, Vol. 26, 1961, pp. 389-401.
22. C. Priami, Stochastic pi-calculus with general distributions, in: CLUP (Ed.), Proc. PAPM 96, 1996.
23. C. Priami, A. Regev, E. Shapiro, W. Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Inform. Process. Lett. (2001).
24. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, E. Shapiro, Bioambients: an abstraction for biological compartments, Theoret. Comput. Sci. (2003) to appear.
25. Regev A., Shapiro E. Cells as computation. Nature. 419:2002.
26. A. Regev, W. Silverman, E. Shapiro, Representation and simulation of biochemical processes using the π -calculus process algebra, in: R.B. Altman, A.K. Dunker, L. Hunter, T.E. Klein (Eds.), Pacific Symp. on Biocomputing, Vol. 6, World Scientific Press, Singapore, 2001, pp. 459-470.
27. Segel I.H. Enzyme Kinetics: Behavior and Analysis of Rapid Equilibrium and Steady-State Enzyme Systems. 1975;Wiley, New York.
28. A. Unypoth, P. Sewell, Nomadic Pict: correct communication infrastructure for mobile computation, in: Proc. POPL 2001, 2001.