Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis

Authors:
Oksana Tymchyshyn;Marta Kwiatkowska
Affiliations:
School of Computer Science, University of Birmingham, Birmingham, UK B15 2TT;Computing Laboratory, Oxford University, Oxford, UK OX1 3QD
Venue:
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
Year:
2008

Citing 3
Cited 2

Mobile ambients

Theoretical Computer Science
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Probabilistic model checking of complex biological pathways

Theoretical Computer Science

Integrating diverse reaction types into stochastic models: a signaling pathway case study in the imperative π-calculus

Winter Simulation Conference
Modular modelling of signalling pathways and their cross-talk

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

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 茂戮驴-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.