Personal tools
You are here: Home events Cristian Versari, Bologna, Italy
Log in

Forgot your password?
Document Actions

Cristian Versari, Bologna, Italy

What Invited talk
When 2009-07-29
from 08:00 to 09:30
Where RIGZ, Room 168/169
Contact Name Mattias John
Attendees dIEM oSiRiS, MoSi
Add event to calendar vCal
last modified 2009-07-16 12:26

Biochemical compartment modelling in pi@


The recent application of process algebras to biological modelling led to the introduction of several bio-oriented calculi characterised by the explicit presence of compartments. In this talk we present "pi@", a core calculus based on the pi-calculus which constitutes a very conservative and flexible approach to compartment modelling, thanks to the presence of polyadic synchronisation and priorities. After some simple modelling examples, we discuss the expressive power of the calculus by sketching the main ideas which allow the encoding of complex compartment operations.

Cristian Versari

Powered by Plone CMS, the Open Source Content Management System

This site conforms to the following standards: