Oxford logo
[TK08] O. Tymchyshyn and M. Kwiatkowska. Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. In Proc. Formal Methods in Systems Biology (FMSB'08), volume 5054 of Lecture Notes in Computer Science, Springer. June 2008. [pdf] [bib]
Downloads:  pdf pdf (184 KB)  bib bib
Notes: Supplementary material available at supporting website:
http://qav.comlab.ox.ac.uk/projects/sysbio/fmsb08/cell.html The original publication is available at www.springerlink.com.
Abstract. 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.