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.- A Specification Language and a Framework for the Execution of Composite Models in Systems Biology.

List 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.

Product details

• Assisted by: Anna Ingolfsdottir (Editor), Bud Mishra (Editor), Hanne Riis Nielson (Editor), Corrado Priami (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 13.11.2006
• EAN: 9783540488378
• ISBN: 978-3-540-48837-8
• No. of pages: 187
• Illustrations: VII, 187 p.
• Series: Lecture Notes in Computer Science; Transactions on Computational Systems Biology
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithms, computer science, molecular biology, bioinformatics, Theory of Computation, Computers, Algorithms & data structures, Mathematical theory of computation, Information technology: general issues, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Computation by Abstract Devices, Formal Languages and Automata Theory