Transactions on computational systems biology VII /
Saved in:
Imprint: | Berlin : Springer, ©2006. |
---|---|
Description: | 1 online resource (184 pages) : illustrations. |
Language: | English |
Series: | Lecture notes in computer science. Journal subline, 1861-2075 ; 4230 Lecture notes in bioinformatics Lecture notes in computer science ; 4230. Lecture notes in computer science. Journal subline. Lecture notes in computer science. Lecture notes in bioinformatics. |
Subject: | |
Format: | E-Resource Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11069356 |
Table of Contents:
- 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
- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.