Cristian Versari, Bologna, Italy
from 08:00 to 09:30
|Where||RIGZ, Room 168/169|
|Contact Name||Mattias John|
|Attendees||dIEM oSiRiS, MoSi|
|Add event to calendar||
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.