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

 

 

In this site you will find detailed information regarding our approach to abstract and model biological processes and pathways using the pi-calculus and ambient calculus. These languages were originally developed for the specification of computational processes. 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.

 

*   To the BioSPI Project Homepage

*   To supplementary material

 

 

 

 

 

 

 

 

 

 

*   BEST VIEWED WITH MICROSOFT EXPLORER 4.0 AND HIGHER