Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Fisher, Jasmin (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 5054
• Subjects: Computer science.; Software engineering.; Computers.; Database management.; Computer simulation.; Bioinformatics.; Computational biology.; Computer Science.; Simulation and Modeling.; Computational Biology/Bioinformatics.; Computer Appl. in Life Sciences.; Software Engineering.; Database Management.; Computation by Abstract Devices.

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, FMSB 2008, held in Cambridge, UK, in June, 2008. The 9 revised full papers presented were carefully reviewed and selected from the workshop lectures that all were invited contribu...

Table of Contents:

• Contributed Papers
• Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
• Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
• Computational Probability for Systems Biology
• Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
• Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
• Approximating Continuous Systems by Timed Automata
• From Reaction Models to Influence Graphs and Back: A Theorem
• Rule-Based Modelling, Symmetries, Refinements
• One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II.