Property-Driven Statistics of Biological Networks -- On the Computational Power of Brane Calculi -- Analysis of Signalling Pathways Using Continuous Time Markov Chains -- Machine Learning Biochemical Networks from Temporal Logic Properties -- Qualitative Petri Net Modelling of Genetic Networks -- Simulating Bacterial Transcription and Translation in a Stochastic ? Calculus -- Automated Abstraction Methodology for Genetic Regulatory Networks -- P Systems, a New Computational Modelling Tool for Systems Biology -- Equivalence of Metabolite Fragments and Flow Analysis of Isotopomer Distributions for Flux Estimation -- Multiple Representations of Biological Processes.

The LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of 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 phenomena. This book, the 6th volume in the Transactions on Computational Systems Biology series, edited by Gordon Plotkin, contains a fully-refereed selection of papers from the Fourth International Conference on Computational Methods in Systems Biology, CMSB 2005, held in Edinburgh, Scotland, in April 2005, as part of ETAPS 2005. The 10 papers selected for this special issue are devoted to various aspects of computational methods, algorithms and techniques in bioinformatics. They present recent progress in areas such as very complex networks in living systems, including: regulatory networks for gene expression; intracellular metabolic networks; and both intra- and intercellular communication networks. The CMSB conference is intended to catalyze the convergence between modelers (theoretical computer scientists from fields such as language design, concurrency theory or program verification, mathematicians and physicists) and biologists interested in a systems-level understanding of cellular processes.