{PDF} Transactions on Computational Systems Biology VII Muffy Calder, Stephen Gilmore, Jane Hillston (auth.), Corrado Priami, Anna Ing?lfsd?ttir, Bud Mishra, Hanne Riis Nielson (eds.)

This volume, the 7th in the Transactions on Computational Systems Biology series, contains a fully refereed and carefully selected set of papers from two workshops: BioConcur 2004 held in London, UK in August 2004 and BioConcur 2005 held in San Francisco, CA, USA in August 2005.

The 8 papers chosen for this special issue are devoted to various aspects of computational methods, algorithms, and techniques in bioinformatics such as modeling of signaling pathways, gene regulation in pi-calculus, relations between regulator graphs and Petri nets, translation of SBML models to stochastic pi-calculus, use of graph theory to model biological networks, distributed model checking with biochemical Kripke structures, graphical notation for stochastic pi-calculus, as well as differentiation and homeostatic behavior of boolean dynamic systems.

The Transactions on Computational Systems Biology series is devoted to inter- and multidisciplinary research in computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomen