Rewriting systems and the modelling of biological systems

Comparative and Functional Genomics

Volumn 5, Issue 1, 2004, Pages 95-99

  Giavitto, Jean Louis ^a   Malcolm, Grant ^b   Michel, Olivier ^a  

^a UNIVERSITÉ D EVRY VAL D ESSONNE   (France)

^b UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

Computational models for cell simulation; Dynamical systems with a dynamical structure; Rewriting systems; Simulation

Indexed keywords

DNA; NITROGENASE;

ARITHMETIC; CELL DIFFERENTIATION; CELL INTERACTION; CELL STRUCTURE; COMPUTER LANGUAGE; COMPUTER MODEL; COMPUTER SIMULATION; COMPUTER SYSTEM; CONFERENCE PAPER; CONTROLLED STUDY; CYTOLOGY; DNA SEQUENCE; DNA STRAND; MATHEMATICAL COMPUTING; PRIORITY JOURNAL; PROTEIN FOLDING; PROTEIN INTERACTION; PROTEIN STRUCTURE;

EID: 2942587003     PISSN: 15316912     EISSN: None     Source Type: Journal    
DOI: 10.1002/cfg.363     Document Type: Conference Paper

References (23)

1. Adleman LM. 1994. Molecular computation of solutions to combinatorial problems. Science 266(5187): 1021-1024.
2. Bournez O, Côme G-M, Valérie Conraud HK, Ibanescu L. 2003. A rule-based approach for automated generation of kinetic chemical mechanisms. In 14th International Conference on Rewriting Techniques and Applications (RTA '03), vol 2706 of Lecture Notes in Computer Science, Nieuwenhius R (ed.). Springer: Heidelberg; 30-45.
3. Brown R, Heyworth A. 2000. Using rewriting systems to compute left kan extensions and induced actions of categories. J Symbol Comput 29(1): 5-31.
4. Dershowitz N, Jouannaud J-P. 1990. Rewrite systems. In Handbook of Theoretical Computer Science, vol B, Elsevier Science: Amsterdam; 244-320.
5. Dittrich P, Ziegler J, Banzhaf W. 2001. Artificial chemistries - a review. Artificial Life 7(3): 225-275.
6. Eker S, Knapp M, Laderoute K, Lincoln P, Talcott C. 2002a. Pathway logic: executable models of biological networks. In Fourth International Workshop on Rewriting Logic and Its Applications (WRLA '2002), vol 71 of Electronic Notes in Theoretical Computer Science, Gradducci F, Montanari U (eds). Elsevier: Amsterdam.
7. Eker S, Knapp M, Laderoute K, et al. 2002b. Pathway logic: symbolic analysis of biological signaling. In Proceedings of the Pacific Symposium on Biocomputing, Altman RB, Danker AK, Hunter L, Lauderdale K, Klein TE (eds). World Scientific: New Jersey USA; 400-412.
8. ELAN Home Page. 2002. http://www.loria.fr/equipes/protheo/SOFTWARES/ELAN/.
9. Fisher M, Malcolm G, Paton R. 2000. Spatiological processes in intracellular signalling. BioSystems 55: 83-92.
10. Fontana W, Buss L. 1994. The arrival of the fittest: toward a theory of biological organization. Bull Math Biol 56: 1-64.
11. Giavitto J-L, Michel O. 2002. The topological structures of membrane computing. Fundamental Informaticae 49: 107-129.
12. Giavitto J-L, Michel O. 2003. Modeling the topological organization of cellular processes. BioSystems 70(2): 149-163.
13. Hammel M, Prusinkiewicz P. 1996. Visualization of developmental processes by extrusion in space-time. In Proceedings of Graphics Interface '96, Davis WA, Bartels R (eds). Canathan Human - Computer Communications Society: Toronto, Canada; 246-258.
14. Head T. 1987. Formal language theory and DNA: an analysis of the generative capacity of specific recombinant behaviors. Bull Math Biol 49: 737-759.
15. Head T. 1992. Lindenmayer Systems: Impacts on Theoretical Computer Science, Computer Graphics, and Developmental Biology, Springer-Verlag: Berlin; 371-383; Also appears in Nanobiology 1992, 1: 335-342.
16. Lindenmayer A. 1968. Mathematical models for cellular interaction in development, Parts I and II. Theoret Biol 18: 280-315.
17. Maude Home Page. 2002. http://maude.csl.sri.com/.
18. Paun G. 1998. Computing with membranes. Technical Report TUCS-TR-208, Turku Centre for Computer Science.
19. Paun G. 2001. From cells to computers: computing with membranes (P systems). Biosystem 59(3): 139-158.
20. Prusinkiewicz P. 1998. Modeling of spatial structure and development of plants: a review. Scientia Horticulturae 74: 113-149.
21. Prusinkiewicz P. 1999. A look at the visual modeling of plants using L-systems. Agronomie 19: 211-224.
22. Prusinkiewicz P, Hanan J. 1990. Visualization of botanical structures and processes using parametric L-systems. In Scientific Visualization and Graphics Simulation, Thalmann D (ed.). Wiley: Chichester; 183-201.
23. Wilcox M, Mitchison GJ, Smith RJ. 1973. Pattern formation in the blue-green alga, Anabaena. I. Basic mechanisms. J Cell Sci 12: 707-723.