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 and ambient calculus. These languages were originally developed for the specification of computational processes. Our work shows the suitability of process algebras for such as , 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