Information and Computation
Information Processing Letters
Handbook of Process Algebra
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
An Abstract Machine for the Stochastic Bioambient calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulating bacterial transcription and translation in a stochastic π calculus
Transactions on Computational Systems Biology VI
Modeling kohn interaction maps with beta-binders: an example
Transactions on Computational Systems Biology III
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Hi-index | 0.00 |
We propose a stochastic π -calculus modellingapproach able to handle the complexity of post-translationalsignalling and to overcome some limitations of the ordinarydifferential equations based methods. The model we developed iscustomizable without a priori assumptions to everymultisite phosphorylation regulation. We applied it to themultisite phosphorylation of the Pho4 transcription factorthat plays a crucial role in the phosphate starvation signalling inSaccharomyces cerevisiae , using available invitro experiments for the model tuning and validation. Thein silico simulation of the sub-path with the stochasticπ -calculus allows quantitative analyses of the kineticcharacteristics of the Pho4 phosphorylation, the differentphosphorylation dynamics for each site (possibly combined) and thevariation of the kinase activity as the reaction goes tocompletion. One of the predictions indicates that thePho80-Pho85 kinase activity on the Pho4 substrateis nearly distributive and not semi-processive as previously foundanalysing only the phosphoform concentrations in vitro .Thanks to the compositionality property of process algebras, wealso developed the whole PHO pathway model that gives newsuggestions and confirmations about its general behaviour. Thepotentialities of process calculi-based in silico simulations for biological systems are highlighted anddiscussed.