# Lab Lunch by Chris Banks

A logic of behaviour in context and the continuous pi-calculus.

I will talk about my logic of behaviour in context and its

application in computational experiments with biochemical processes. I

will give an overview of our modelling language, the continuous

pi-calculus -- a continuous time and continuous state-space process

calculus, and explain how we can perform experiments by model checking

with the logic of behaviour in context. I will detail some of the

problems of model checking over a continuous state-space, some

possible solutions, and some open problems.