On the computational power of biochemistry

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5147 LNCS, Issue , 2008, Pages 65-80

  Cardelli, Luca ^a   Zavattaro, Gianluigi ^b  

^a MICROSOFT RESEARCH   (United Kingdom)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BIOCHEMISTRY; BIOLOGY; BOOLEAN ALGEBRA; CHLORINE COMPOUNDS; MATRIX ALGEBRA;

BASIC MECHANISM; CHEMICAL-; COMPUTATIONAL POWER; INTERNATIONAL CONFERENCES; PROCESS ALGEBRAS; RANDOM ACCESS MACHINES;

CHEMISTRY;

EID: 52949151220     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85101-1_6     Document Type: Conference Paper

References (18)

1. Busi, N., Gorrieri, R.: On the Computational Power of Brane Calculi. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 16-43. Springer, Heidelberg (2006)
2. Cardelli, L.: Artificial Biochemistry. In: Proc. of Algorithmic Bioprocesses. LNCS (to appear, 2008), http://lucacardelli.name
3. Cardelli, L.: On Process Rate Semantics. Theoretical Computer Science (in press, 2008), http://dx.doi.org/10.1016/j.tes.2007.11.012
4. Cardelli, L., Pradalier, S.: Where Membranes Meet Complexes. In: Proc. of Concurrent Models in Molecular Biology (BioConcur. 2005) (2005)
5. Credi, A., Garavelli, M., Laneve, C., Pradalier, S., Silvi, S., Zavattaro, G.: Moderation and Simulation of Nano Devices in nano-kappa Calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 168-183. Springer, Heidelberg (2007)
6. Danos, V., Feret, J., Fontana, W., Krivine, J.: Kappa Factory (2007). http://www.lix.polytechnique.fr/~krivine/kappaFactory.html
7. Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science 325(1), 69-110 (2004)
8. Kitano, H., Funahashi, A., Matsuoka, Y., Oda, K.: Using process diagrams for the graphical representation of biological networks. Nature Biotechnolgy 23, 961-966 (2005)
9. Kohn, K.W., Aladjem, M.I., Weinstein, J.N., Pommier, Y.: Molecular interaction maps of bioregulatory networks: a general rubric for systems biology. Molecular biology of the cell 17(1), 1-13 (2006)
10. Liekens, A.M.L., Fernando, C.T.: Turing complete catalytic particle computers. In: Almeida e Costa, F., Rocha, L.M., Costa, E., Harvey, I., Coutinho, A. (eds.) ECAL 2007. LNCS (LNAI), vol. 4648, pp. 1202-1211. Springer, Heidelberg (2007)
11. Magnasco, M.O.: Chemical Kinetics is Turing Universal. Physical Review Letters 78, 1190-1193 (1997)
12. McQuarrie, D.A.: Stochastic approach to chemical kinetics. Journal of Applied Probability 4, 413-478 (1967)
13. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
14. Minsky, M.L.: Computation: finite and infinite machines. Prentice-Hall, Englewood Cliffs (1967)
15. Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20-33. Springer, Heidelberg (2005)
16. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25-31 (2001)
17. Soloveichik, D., Cook, M., Winfree, E., Bruck, J.: Computation with Finite Stochastic Chemical Reaction Networks. Natural Computing (in press, 2008), http://dx.doi.org/10.1007/s11047-008-9067-y
18. Zavattaro, G., Cardelli, L.: Termination Problems in Chemical Kinetics (2008), http://lucacardelli.name