Section: Application Domains
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.