THE BioSPI PROJECT:
WELCOME TO THE WEB SITE FOR CONCURRENT BIOLOGICAL PROCESSES

In this site you will find detailed information regarding our approach to modeling biological processes and pathways using the pi-calculus and ambient calculus.

Detailed biochemical and molecular data is available for an increasing number of biochemical systems. Storing and analyzing this complex data is a challenge for pathway informatics. Traditional approaches use either differential equations or Monte-Carlo simulations.

We are developing an alternative model for such processes using the pi-calculus. The pi-calculus was originally developed by Robin Milner for the specification of computational processes. In order to deal with quantitative aspects and localization we also employ later extensions, such as the stochastic pi-calculus and the ambient calculus.

Our work shows the suitability of process algebras for modeling biological systems such as signal transduction networks, metabolic pathways and transcriptional regulation. This approach yields many benefits: it allows us to formally represent complex networks, simulate and monitor their behavior, formally verify their properties and compare networks across organisms.

BEST VIEWED WITH MICROSOFT EXPLORER 4.0 AND HIGHER