Transactions on Computational Systems Biology VII [electronic resource] /
Ingolfsdottir, Anna.editor.
Mishra, Bud.editor.
Nielson, Hanne Riis.editor.
Bibliographic Level Mode of Issuance: Monograph
Includes bibliographical references and index.
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.
Computers.
Bioinformatics.
Mathematical logic.
Algorithms.
Computation by Abstract Devices.
Bioinformatics.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.

Lecture Notes in Computer Science