Transactions on Computational Systems Biology VII

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.
Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch.
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits.
Translating SBML Models into the Stochastic ?-Calculus for Stochastic Simulation.
Graph Theory for Rule-Based Modeling of Biochemical Networks.
Adapting Biochemical Kripke Structures for Distributed Model Checking.
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus.
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems.
A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.