Transactions on Computational Systems Biology, Volume 7, 2006
Corrado Priami, Anna Ingólfsdóttir, Bud Mishra, Hanne Riis Nielson (Eds.): Transactions on Computational Systems Biology VII. Springer 2006 Lecture Notes in Computer Science ISBN 3-540-48837-5
Muffy Calder, Stephen Gilmore, Jane Hillston: Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA. 1-23
Céline Kuttler, Joachim Niehren: Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch. 24-55
Elisabeth Remy, Paul Ruet, Luis Eduardo Mendoza, Denis Thieffry, Claudine Chaouiya: From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits. 56-72
Claudio Eccher, Paola Lecca: Translating SBML Models into the Stochastic pi-Calculus for Stochastic Simulation. 73-88
Michael L. Blinov, Jin Yang, James R. Faeder, William S. Hlavacek: Graph Theory for Rule-Based Modeling of Biochemical Networks. 89-106
Susmit Jha, R. K. Shyamasundar: Adapting Biochemical Kripke Structures for Distributed Model Checking. 107-122
Andrew Phillips, Luca Cardelli, Giuseppe Castagna: A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. 123-152
Elisabeth Remy, Paul Ruet: On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems. 153-162
Ofer Margoninski, Peter Saffrey, James Hetherington, Anthony Finkelstein, Anne Warner: A Specification Language and a Framework for the Execution of Composite Models in Systems Biology. 163-184



