C. F. Bryce

Learn More
We give a formal deenition of the notion of information ow for a simple guarded command language. We propose an axiomatisation of security properties based on this notion of information ow and we prove its soundness with respect to the operational semantics of the language. We then identify the sources of non determinism in proofs and we derive in(More)
In this study, mathematical modelling, using the computer package MetaModel, was employed to calculate the steady-state fluxes and the concentration of various metabolites of the central pathways during growth of Escherichia coli on acetate. This package also enabled us to formulate the matrices of the elasticity coefficients and the control and response(More)
  • 1