FMSB 2008: Cambridge, UK

Jasmin Fisher (Ed.): Formal Methods in Systems Biology, First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings. Lecture Notes in Computer Science 5054 Springer 2008, ISBN 978-3-540-68410-7

David Harel, Yaki Setty:
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems. 1-16
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu, Nir Piterman:
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions. 17-32
Werner Sandmann, Verena Wolf:
Computational Probability for Systems Biology. 33-47
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa:
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets. 48-62
Oksana Tymchyshyn, Marta Z. Kwiatkowska:
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. 63-76
Oded Maler, Grégory Batt:
Approximating Continuous Systems by Timed Automata. 77-89
François Fages, Sylvain Soliman:
From Reaction Models to Influence Graphs and Back: A Theorem. 90-102
Vincent Danos, Jérôme Feret, Walter Fontana, Russell Harmer, Jean Krivine:
Rule-Based Modelling, Symmetries, Refinements. 103-122
Adelinde M. Uhrmacher, Jan Himmelspach, Matthias Jeschke, Mathias John, Stefan Leye, Carsten Maus, Mathias Röhl, Roland Ewald:
One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James II. 123-138