Enhanced operational semantics
ACM Computing Surveys (CSUR)
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Information Processing Letters
Modelling biochemical pathways through enhanced π-calculus
Theoretical Computer Science - Special issue: Computational systems biology
A stochastic semantics for bioambients
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Hi-index | 0.01 |
We analyse an enhanced specification of VICE, a hypothetical prokaryote with a genome as basic as possible. Besides the most common metabolic pathways of prokaryotes in interphase, VICE also posseses a regulatory feedback circuit based on the enzyme phosphofructokinase. We use as formal description language a fragment of the stochastic π-calculus. Simulations are run on BEAST, an abstract machine specially tailored to run in silico experimentations. Two kinds of virtual experiments have been carried out, depending on the way nutrients are supplied to VICE. The result of our experimentations in silico confirm that our virtual cell “survives” in an optimal environment, as it exhibits the homeostatic property similary to real living cells. Additionally, oscillatory patterns in the concentration of fructose-6-phosphate and fructose-1,6-bisphosphate show up, similar to the real ones.