×

A process model of actin polymerisation. (English) Zbl 1283.92047

Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 127-144 (2009).
Summary: Actin is the monomeric subunit of actin filaments which form one of the three major cytoskeletal networks in eukaryotic cells. Actin dynamics, be it the polymerisation of actin monomers into filaments or the reverse process, plays a key role in many cellular activities such as cell motility and phagocytosis. There is a growing number of experimental, theoretical and mathematical studies on the components of actin polymerisation and depolymerisation. However, it remains a challenge to develop compositional models of actin dynamics, e.g., by using differential equations. In this paper, we propose compositional process algebra models of actin polymerisation, and present a geometric representation of these models that allows to generate movies reflecting their dynamics.
For the entire collection see [Zbl 1278.92003].

MSC:

92C45 Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
92C10 Biomechanics
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alberts, Jonathan B.; Odell, Garrett M., In silico reconstitution of listeria propulsion exhibits nano-saltation, PLOS Biology, 2, 2054-2066 (2004)
[2] Bompard, Guillaume; Caron, Emmanuelle, Regulation of WASP/WAVE proteins: making a long story short, The Journal of Cell Biology, 166, 7, 957-962 (2004)
[3] Luca Cardelli. Artificial biochemistry. In Algorithmic Bioproceses; Luca Cardelli. Artificial biochemistry. In Algorithmic Bioproceses · Zbl 1171.92318
[4] Cardelli, Luca; Gardner, Philippa; Kahramanoğulları, Ozan, 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. Proceedings of the First Workshop “From Biology To Concurrency and back (FBTC 2007)”, September 2007, ENTCS, 194, 87-102 (2008), Elsevier · Zbl 1279.68252
[5] Luca Cardelli and Gianluigi Zavattaro. On the computational power of biochemistry. In Proceedings of Third International Conference on Algebraic Biology; Luca Cardelli and Gianluigi Zavattaro. On the computational power of biochemistry. In Proceedings of Third International Conference on Algebraic Biology · Zbl 1171.92318
[6] Seth Chhabra, Ekta; Higgs, Henry N., The many faces of actin: matching assembly factors with cellular structures, Nature Cell Biology, 9, 1110-1121 (2007)
[7] Danos, Vincent; Feret, Jérome; Fontana, Walter; Harmer, Russell; Krivine, Jean, Rule-based modelling of cellular signalling, (Caires, L.; Vasconcelos, V. T., Concurrency Theory, Proceedings of the 18th Int. Conf., CONCUR 2007. Concurrency Theory, Proceedings of the 18th Int. Conf., CONCUR 2007, LNCS, volume 4703 (2007), Springer), 17-41 · Zbl 1151.68723
[8] Danos, Vincent; Feret, Jerome; Fontana, Walter; Krivine, Jean, Scalable simulation of cellular signaling networks, (Shao, Zhong, Proceeding of 5th Asian Symposium, APLAS 2007. Proceeding of 5th Asian Symposium, APLAS 2007, LNCS, volume 4807 (2007), Springer), 139-157 · Zbl 1138.68650
[9] Danos, Vincent; Feret, Jerome; Fontana, Walter; Krivine, Jean, Abstract interpretation of cellular signalling networks, (Logozzo, F.; Peled, D.; Zuck, L. D., Verification, Model Checking, and Abstract Interpretation, Proceedings of the 9th International Conference. Verification, Model Checking, and Abstract Interpretation, Proceedings of the 9th International Conference, VMCAI 2008. Verification, Model Checking, and Abstract Interpretation, Proceedings of the 9th International Conference. Verification, Model Checking, and Abstract Interpretation, Proceedings of the 9th International Conference, VMCAI 2008, LNCS, volume 4905 (2008), Springer), 83-97 · Zbl 1138.68650
[10] Danos, Vincent; Laneve, Cosimo, Formal molecular biology, Theoretical Computer Science, 325, 1, 69-110 (2004) · Zbl 1071.68041
[11] Fujivara, I.; Vavylonis, D.; Pollard, T. D., Polymerization kinetics of ADP- and ADP-Pi actin determined by fluoresence microscopy, Proc. Natl. Acad. Sci. USA, 104, 21, 8827-8832 (2007)
[12] Hu, Jifeng; Matzavinos, Anastasios; Othmer, Hans G., A theoretical approach to actin filament dynamics, Journal of Statistical Physics, 128, 1/2, 111-138 (2007) · Zbl 1118.92005
[13] Iwasa, J. H.; Mullins, R. D., Spatial and temporal relationships between actin-filament nucleation, capping, and disassembly, Current Biology, 17, 395-406 (2007)
[14] Jaffe, Aron B.; Hall, Alan, Dynamic changes in the length distribution of actin filaments during polymerization can be modulated by barbed end capping proteins, Cell Motility Cytoskeleton, 61, 1-8 (2005)
[15] John, Mathias; Ewald, Roland; Uhrmacher, Adeline M., A spatial extension to the pi calculus, Proceedings of the First Workshop “From Biology To Concurrency and back (FBTC 2007)”, September 2007. Proceedings of the First Workshop “From Biology To Concurrency and back (FBTC 2007)”, September 2007, ENTCS, 194, 133-148 (2008), Elsevier · Zbl 1279.68262
[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; Jean Krivine. An exact and scalable stochastic simulation algorithmm. In Proceedings of the Int. Conference of Computational Methods in Sciences and Engineering, ICCMSE 2007
[17] Mogilner, Alex; Oster, George, Force generation by actin polymerization II: The elastic ratchet and tethered filaments, Biophysical Journal, 84, 1591-1605 (2003)
[18] Mogilner, Alex; Oster, George, Cell motility driven by actin polymerization, Biophysical Journal, 71, 3030-3045 (2008)
[19] Phillips, Andrew; Cardelli, Luca, Efficient, correct simulation of biological processes in the stochastic pi-calculus, (Computational Methods in Systems Biology. Computational Methods in Systems Biology, LNCS, volume 4695 (2007), Springer), 184-199
[20] Pollard, Thomas D., Regulation of actin filament assembly by Arp2/3 complex and formins, The Annual Review of Biophysics and Biomolecular Structure, 36, 451-477 (2007)
[21] Pollard, Thomas D.; Borisy, Gary G., Cellular motility driven by assembly and disassembly of actin filaments, Cell, 112, 453-465 (2003)
[22] 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 (2001) · Zbl 0997.92018
[23] Prusinkiewicz, Przemyslaw; Lindenmayer, Aristid, The Algorithmic Beauty of Plants (1990), Springer · Zbl 0850.92038
[24] Schafer, D. A.; Jennings, P. B.; Cooper, J. A., Dynamics of capping protein and actin assembly in vitro: uncapping barbed ends by polyphosphoinositides, The Journal of Cell Biology, 135, 169-179 (1996)
[25] Weeds, Alan; Yeoh, Sharon, Action at the Y-branch, Science, 294, 1660-1661 (2001)
[26] Wolkenhauer, O.; Ullah, M.; Kolch, W.; Cho, K. H., Modeling and simulation of intracellular dynamics: choosing an appropriate framework, IEEE Trans. Nanobioscience, 3, 200-207 (2004)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.