Section: New Results
A Stochastic Linear Logic for Biological Computation
Kaustuv Chaudhuri and Joëlle Despeyroux have proposed a logic, called HyLL (for Hybrid Linear Logic), for defining stochastic transition systems using linear implications for the state transitions and a modal logic with the worlds representing the rates of transitions. The worlds (rates) are reified in the propositional syntax using the connectives of hybrid logic, which allows directly encoding and reasoning about biological reaction systems, the intended use of this logic. This year, they have demonstrated the expressivity of the logic by giving an adequate encoding of the stochastic pi-calculus using a focused sequent calculus. A paper has been submitted and a technical report is in preparation.