A Process Model of Actin Polymerisation

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 1, 2009, Pages 127-144

  Cardelli, Luca ^a   Caron, Emmanuelle ^b   Gardner, Philippa ^b   Kahramanoǧullari, Ozan ^b   Phillips, Andrew ^a  

^a MICROSOFT RESEARCH   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

actin; geometric plotting; process modelling; stochastic calculus

Indexed keywords

ALGEBRA; ANTIGEN-ANTIBODY REACTIONS; CALCULATIONS; DYNAMICS; FILAMENTS (LAMP); POLYMERS; RANDOM PROCESSES; REAL TIME SYSTEMS;

ACTIN; ACTIN DYNAMICS; ACTIN FILAMENTS; ACTIN MONOMERS; CELL MOTILITIES; CELLULAR ACTIVITIES; COMPOSITIONAL MODELS; CYTOSKELETAL NETWORKS; EUKARYOTIC CELLS; GEOMETRIC PLOTTING; GEOMETRIC REPRESENTATIONS; POLYMERISATION; PROCESS ALGEBRAS; PROCESS MODELLING; REVERSE PROCESS;

POLYMERIZATION;

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

References (26)

1. Alberts J.B., and Odell G.M. In silico reconstitution of listeria propulsion exhibits nano-saltation. PLOS Biology 2 (2004) 2054-2066
2. Bompard G., and Caron E. Regulation of WASP/WAVE proteins: making a long story short. The Journal of Cell Biology 166 7 (2004) 957-962
3. Luca Cardelli. Artificial biochemistry. In Algorithmic Bioproceses, LNCS. Springer, 2008. to appear
4. Cardelli L., Gardner P., and Kahramanoǧullari{dotless} O. A process model of rho GTP-binding proteins in the context of phagocytosis. Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)", September 2007. ENTCS 194 (2008) 87-102 Elsevier
5. Luca Cardelli and Gianluigi Zavattaro. On the computational power of biochemistry. In Proceedings of Third International Conference on Algebraic Biology, LNCS. Springer, 2008. to appear
6. Seth Chhabra E., and Higgs H.N. The many faces of actin: matching assembly factors with cellular structures. Nature Cell Biology 9 (2007) 1110-1121
7. Danos V., Feret J., Fontana W., Harmer R., and Krivine J. Rule-based modelling of cellular signalling. In: Caires L., and Vasconcelos V.T. (Eds). Concurrency Theory, Proceedings of the 18th Int. Conf., CONCUR 2007. LNCS volume 4703 (2007), Springer 17-41
8. Danos V., Feret J., Fontana W., and Krivine J. Scalable simulation of cellular signaling networks. In: Shao Z. (Ed). Proceeding of 5th Asian Symposium, APLAS 2007. LNCS volume 4807 (2007), Springer 139-157
9. Danos V., Feret J., Fontana W., and Krivine J. Abstract interpretation of cellular signalling networks. In: Logozzo F., Peled D., and Zuck L.D. (Eds). Verification, Model Checking, and Abstract Interpretation, Proceedings of the 9th International Conference. VMCAI 2008. LNCS volume 4905 (2008), Springer 83-97
10. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 1 (2004) 69-110
11. Fujivara I., Vavylonis D., and Pollard T.D. Polymerization kinetics of ADP- and ADP-Pi actin determined by fluoresence microscopy. Proc. Natl. Acad. Sci. USA 104 21 (2007) 8827-8832
12. Hu J., Matzavinos A., and Othmer H.G. A theoretical approach to actin filament dynamics. Journal of Statistical Physics 128 1/2 (2007) 111-138
13. Iwasa J.H., and Mullins R.D. Spatial and temporal relationships between actin-filament nucleation, capping, and disassembly. Current Biology 17 (2007) 395-406
14. Jaffe A.B., and Hall A. Dynamic changes in the length distribution of actin filaments during polymerization can be modulated by barbed end capping proteins. Cell Motility Cytoskeleton 61 (2005) 1-8
15. John M., Ewald R., and Uhrmacher A.M. A spatial extension to the pi calculus. Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)", September 2007. ENTCS 194 (2008) 133-148 Elsevier
16. Jean Krivine. An exact and scalable stochastic simulation algorithmm. In Proceedings of the Int. Conference of Computational Methods in Sciences and Engineering, ICCMSE 2007, 2007
17. Mogilner A., and Oster G. Force generation by actin polymerization II: The elastic ratchet and tethered filaments. Biophysical Journal 84 (2003) 1591-1605
18. Mogilner A., and Oster G. Cell motility driven by actin polymerization. Biophysical Journal 71 (2008) 3030-3045
19. Phillips A., and Cardelli L. Efficient, correct simulation of biological processes in the stochastic pi-calculus. Computational Methods in Systems Biology. LNCS volume 4695 (2007), Springer 184-199
20. Pollard T.D. Regulation of actin filament assembly by Arp2/3 complex and formins. The Annual Review of Biophysics and Biomolecular Structure 36 (2007) 451-477
21. Pollard T.D., and Borisy G.G. Cellular motility driven by assembly and disassembly of actin filaments. Cell 112 (2003) 453-465
22. Priami C., Regev A., Shapiro E., and Silverman W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001)
23. Prusinkiewicz P., and Lindenmayer A. The Algorithmic Beauty of Plants (1990), Springer
24. Schafer D.A., Jennings P.B., and Cooper J.A. Dynamics of capping protein and actin assembly in vitro: uncapping barbed ends by polyphosphoinositides. The Journal of Cell Biology 135 (1996) 169-179
25. Weeds A., and Yeoh S. Action at the Y-branch. Science 294 (2001) 1660-1661
26. Wolkenhauer O., Ullah M., Kolch W., and Cho K.H. Modeling and simulation of intracellular dynamics: choosing an appropriate framework. IEEE Trans. Nanobioscience 3 (2004) 200-207