Personal tools
You are here: Home News Lab Lunch by Chris Banks

Lab Lunch by Chris Banks

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

What
When Mar 19, 2013
from 01:00 PM to 02:00 PM
Where MF2
Add event to calendar vCal
iCal

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.

Document Actions