Team Parsifal

Overall Objectives
Scientific Foundations
Application Domains
New Results
Other Grants and Activities

Section: Application Domains

Keywords : biology, systems biology.

Biological systems

When one looks at systems of biochemical reactions in molecular biology, such as gene-protein and protein-protein interaction systems, one observes two basic phenomena: state change (where, for example, two or more molecules interact to form other molecules) and delay. Each of the state changes has an associated delay before the state change is observed, or, more precisely, a probability distribution over possible delays: the rate of the change. A system of biochemical reactions can therefore be seen as a stochastic computation.

The HyLL logic proposed by Kaustuv Chaudhuri and Joƫlle Despeyroux is a first attempt at providing a logical framework for both specifying and reasoning about such computations.


Logo Inria