Transactions on Computational Systems Biology, Volume 7, 2006

• 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