Transactions on Computational Systems Biology VII  [electronic resource] / 
edited by Anna Ingolfsdottir, Bud Mishra, Hanne Riis Nielson. 
 - 1st ed. 2006. 
 - VII, 187 p.  online resource. 
 - Transactions on Computational Systems Biology ;  4230 .
 - Transactions on Computational Systems Biology ;  4230 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540488392 
<br/><br/><label>Standard No.: </label>10.1007/11905455  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Bioinformatics.<br/>Machine theory.<br/>Algorithms.<br/>Theory of Computation.<br/>Bioinformatics.<br/>Formal Languages and Automata Theory.<br/>Algorithms.
<br/><br/><label>LC Class. No.: </label>QA75.5-76.95 
<br/><br/><label>Dewey Class. No.: </label>004.0151