A Process Model of Actin Polymerisation

Authors:
Luca Cardelli;Emmanuelle Caron;Philippa Gardner;Ozan Kahramanoğulları;Andrew Phillips
Affiliations:
Microsoft Research, 7 JJ Thomson Avenue, CB3 0FB, Cambridge, UK;Centre for Molecular Microbiology and Infection, Imperial College, London, UK;Department of Computing, Imperial College, London, UK;Department of Computing & Centre for Integrative Systems Biology Imperial College, London, UK;Microsoft Research, 7 JJ Thomson Avenue, CB3 0FB, Cambridge, UK
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 9
Cited 2

The algorithmic beauty of plants

The algorithmic beauty of plants
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis

Electronic Notes in Theoretical Computer Science (ENTCS)
A Spatial Extension to the π Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient, correct simulation of biological processes in the stochastic pi-calculus

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Scalable simulation of cellular signaling networks

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Abstract interpretation of cellular signalling networks

VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Rule-based modelling of cellular signalling

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

A process model of Rho GTP-binding proteins

Theoretical Computer Science
Modelling self-assembly in BlenX

Transactions on Computational Systems Biology XII

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.