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

DOI10.1007/978-3-540-68413-8_5zbMath1375.92015MaRDI QIDQ3506868

Marta Kwiatkowska, Oksana Tymchyshyn

Publication date: 17 June 2008

Published in: Formal Methods in Systems Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68413-8_5

zbMATH Keywords

stochastic \(\pi \)-calculus; cell fate determination; intestinal homeostasis

Mathematics Subject Classification ID

92C30: Physiology (general)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

92C42: Systems biology, networks

Related Items

Constructing and visualizing chemical reaction networks from pi-calculus models, Modular modelling of signalling pathways and their cross-talk, Delay-driven oscillations via axin2 feedback in the Wnt/\(\beta\)-catenin signalling pathway, Smoluchowski Reaction Kinetics for Reactions of Any Order, Process Algebra Modelling Styles for Biomolecular Processes

Uses Software

• BioSPI

Cites Work

• Mobile ambients
• BioAmbients: an abstraction for biological compartments
• Elucidating the interactions between the adhesive and transcriptional functions of \(\beta\)-catenin in normal and cancerous cells
• Probabilistic model checking of complex biological pathways