Forgot your password?
Svetoslav Nikolow, Bulgaria (in cooperation with WELISA)
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
iCal
|
last modified
2009-07-16 12:26
Biochemical compartment modelling in pi@
Abstract
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.
First Prize at the Second International Biomodellling Competition Dagstuhl 2011