Agile Modelling of Cellular Signalling (Invited Paper)

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 4, 2009, Pages 3-10

  Danos, Vincent ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

cascade; covalent modification; Huang Ferell model; Modification

Indexed keywords

CASCADE; CELLULAR SIGNALLING; COVALENT MODIFICATION; HUANG-FERELL MODEL; MODIFICATION; PROTEIN INTERACTION NETWORKS; RULE-BASED APPROACH;

EXPOSURE CONTROLS;

EID: 68049123263     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.07.070     Document Type: Article

References (12)

1. Cardelli L. Brane calculi. Proceedings of BIO-CONCUR'03. Marseille, France. Electronic Notes in Theoretical Computer Science 180 (2003)
2. Ciocchetta, F., S. Gilmore, M. L. Guerriero and J. Hillston, Integrated simulation and model-checking for the analysis of biochemical systems integrated simulation and model-checking for the analysis of biochemical systems (2008), to appear
3. th International Conference on Concurrency Theory. (CONCUR'07). LNCS 4703 (2007) 17-41
4. Danos V., Feret J., Fontana W., and Krivine J. Abstract interpretation of cellular signalling networks. F.L. et al., editor. VMCAI'08. LNCS 4905 (2008) 83-97
5. Danos V., and Krivine J. Formal molecular biology done in CCS. Proceedings of BIO-CONCUR'03. Marseille, France. Electronic Notes in Theoretical Computer Science 180 (2003) 31-49
6. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 (2004) 69-110
7. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem 81 (1977) 2340-2361
8. Goldbeter A., and Koshland D. An amplified sensitivity arising from covalent modification in biological systems. Proceedings of the National Academy of Sciences 78 (1981) 6840-6844
9. Hlavacek W., Faeder J., Blinov M., Posner R., Hucka M., and Fontana W. Rules for Modeling Signal-Transduction Systems. Science's STKE 2006 (2006)
10. Huang C., and Ferrell J. Ultrasensitivity in the mitogen-activated protein kinase cascade. Proceedings of the National Academy of Sciences 93 (1996) 10078-10083
11. Priami, C. and P. Quaglia, Beta binders for biological interactions, Proceedings of CMSB'04 3082 (2004), pp. 20-33
12. Regev, A., W. Silverman and E. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, in: Pacific Symposium on Biocomputing, 2001, pp. 459-470