Rule-based modelling, symmetries, refinements

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

Volumn 5054 LNBI, Issue , 2008, Pages 103-122

  Danos, Vincent ^a,c   Feret, Jérôme ^b   Fontana, Walter ^b   Harmer, Russell ^c   Krivine, Jean ^b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b HARVARD MEDICAL SCHOOL   (United States)

^c CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CELLULAR SIGNALLING; HEIDELBERG (CO); INFINITE-DIMENSIONAL DYNAMICAL SYSTEMS; INTERNATIONAL (CO); MASS ACTION PRINCIPLE; RULE REFINEMENT; RULE-BASED; STOCHASTIC GRAPHS; SYSTEMS BIOLOGY;

ARSENIC COMPOUNDS; DYNAMICAL SYSTEMS; DYNAMICS; FLOW INTERACTIONS; GRAPH THEORY; INFORMATION THEORY; LEAD; PETRI NETS; RATE CONSTANTS; REFINING; SCHRODINGER EQUATION; SEMANTICS; STOCHASTIC PROGRAMMING; THEOREM PROVING;

FORMAL METHODS;

EID: 47149093382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68413-8_8     Document Type: Conference Paper

References (21)

1. Orton, R.J., Sturm, O.E., Vyshemirsky, V., Calder, M., Gilbert, D.R., Kolch, W.: Computational modelling of the receptor tyrosine kinase activated MAPK pathway. Biochemical Journal 392(2), 249-261 (2005)
2. Söderberg, B.: General formalism for inhomogeneous random graphs. Physical Review E 66(6), 66121 (2002)
3. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 2340-2361 (1977)
4. Danos, V., Feret, J., Fontana, W., Krivine, J.: Abstract interpretation of cellular signalling networks. In: Logozzo, F., et al. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 83-97. Springer, Heidelberg (2008)
5. Danos, V., Feret, J., Fontana, W., Krivine, J.: Scalable simulation of cellular signaling networks. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139-157. Springer, Heidelberg (2007)
6. Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR. LNCS, vol. 4703. Springer, Heidelberg (2007)
7. Danos, V.: Agile modelling of cellular signalling. In: Proceedings of ICCMSE (2007)
8. Blinov, M.L., Faeder, J.R., Goldstein, B., Hlavacek, W.S.: A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity. BioSystems 83, 136-151 (2006)
9. Hlavacek, W.S., Faeder, J.R., Blinov, M.L., Posner, R.G., Hucka, M., Fontana, W.: Rules for Modeling Signal-Transduction Systems. Science's STKE 2006(344) (2006)
10. Blinov, M.L., Yang, J., Faeder, J.R., Hlavacek, W.S.: Graph theory for rule-based modeling of biochemical networks. In: Abadi, M., de Alfaro, L. (eds.) CONCUR 2005. LNCS, vol. 3653. Springer, Heidelberg (2005)
11. Faeder, J.R., Blinov, M.L., Goldstein, B., Hlavacek, W.S.: Combinatorial complexity and dynamical restriction of network flows in signal transduction. Systems Biology 2(1), 5-15 (2005)
12. Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the π-calculus process algebra. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing, vol. 6, pp. 459-470. World Scientific Press, Singapore (2001)
13. 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 (2001)
14. Regev, A., Shapiro, E.: Cells as computation. Nature 419 (September 2002)
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. Danos, V., Krivine, J.: Formal molecular biology done in CCS. In: Proceedings of BIO-CONCUR 2003, Marseille, France. Electronic Notes in Theoretical Computer Science, vol. 180, pp. 31-49. Elsevier, Amsterdam (2003)
17. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theoretical Computer Science 325(1), 141-167 (2004)
18. Cardelli, L.: Brane calculi. In: Proceedings of BIO-CONCUR 2003. Electronic Notes in Theoretical Computer Science, vol. 180. Elsevier, Amsterdam (2003)
19. Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 1-23. Springer, Heidelberg (2006)
20. Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Phys. 22, 403-434 (1976)
21. Lack, S., Sobocinski, P.: Adhesive and quasiadhesive categories. Theoretical Informatics and Applications 39(3), 511-546 (2005)