Sciweavers

DAGSTUHL
2006

Static Analysis of a Model of the LDL Degradation Pathway

13 years 5 months ago
Static Analysis of a Model of the LDL Degradation Pathway
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static program analysis can be used to compute safe approximations of the behaviour of system models. We use these tools to model and analyse the production of cholesterol in living cells and show that we are able to pinpoint the difference in behaviour between models of healthy systems and models of mutated systems giving rise to known diseases.
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2006
Where DAGSTUHL
Authors Henrik Pilegaard, Hanne Riis Nielson, Flemming Nielson
Comments (0)