You have Guest access.
Log In
Corrado Priami, Anna Ingólfsdóttir, Bud Mishra and Hanne Riis Nielson
Front matter
1-23
Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA
24-55
Gene Regulation in the Pi Calculus: Simulating Cooperativity at the Lambda Switch
56-72
From Logical Regulatory Graphs to Standard Petri Nets: Dynamical Roles and Functionality of Feedback Circuits
73-88
Translating SBML Models into the Stochastic π-Calculus for Stochastic Simulation
89-106
Graph Theory for Rule-Based Modeling of Biochemical Networks
107-122
Adapting Biochemical Kripke Structures for Distributed Model Checking
123-152
A Graphical Representation for Biological Processes in the Stochastic pi-Calculus
153-162
On Differentiation and Homeostatic Behaviours of Boolean Dynamical Systems
163-184
A Specification Language and a Framework for the Execution of Composite Models in Systems Biology
E1
Back matter
This page requires script.
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info