×

zbMATH — the first resource for mathematics

Combining intra- and inter-cellular dynamics to investigate intestinal homeostasis. (English) Zbl 1375.92015
Fisher, Jasmin (ed.), Formal methods in systems biology. First international workshop, FMSB 2008, Cambridge, UK, June 4–5, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68410-7/pbk). Lecture Notes in Computer Science 5054. Lecture Notes in Bioinformatics, 63-76 (2008).
Summary: This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stochastic \(\pi \)-calculus, which supports ambients needed for compartments, we develop a collection of cell and molecular level models. The focus of our study is the role of Wnt in the control of cell division and differentiation. Using the BioSPI simulation platform, we analysed the model and reveal a plausible explanation for a mechanism that ensures robustness of cell fate determination.
For the entire collection see [Zbl 1137.92001].

MSC:
92C30 Physiology (general)
92C42 Systems biology, networks
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Software:
BioSPI
PDF BibTeX XML Cite
Full Text: DOI