Pages that link to "Item:Q1607114"

The following pages link to Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Q1607114):

Displaying 33 items.

• An intermediate language for the simulation of biological systems (Q2870295) (← links)
• A static analysis for beta-binders (Q2870298) (← links)
• A process model of rho GTP-binding proteins in the context of phagocytosis (Q2870299) (← links)
• Bio-PEPA: an extension of the process algebra PEPA for biochemical networks (Q2870300) (← links)
• Efficient stochastic simulation of biological systems with multiple variable volumes (Q2870307) (← links)
• Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework (Q3003509) (← links)
• Structural Analysis for Stochastic Process Algebra Models (Q3067461) (← links)
• The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
• A Computationally Fast and Parametric Model to Estimate Protein-Ligand Docking Time for Stochastic Event Based Simulation (Q3503928) (← links)
• Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions (Q3506862) (← links)
• Immune Systems and Computation: An Interdisciplinary Adventure (Q3543329) (← links)
• Turing universality of the Biochemical Ground Form (Q3550701) (← links)
• On the Computational Power of Biochemistry (Q3599194) (← links)
• Bio-PEPA with Events (Q3642952) (← links)
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
• Multi-level modelling via stochastic multi-level multiset rewriting (Q4917198) (← links)
• Translating Stochastic CLS into Maude (Q5179424) (← links)
• An Abstract Machine for the Stochastic Bioambient calculus (Q5179430) (← links)
• External Control in Process Algebra for Systems Biology (Q5179432) (← links)
• Spatial Calculus of Looping Sequences (Q5404072) (← links)
• The Importance of Being (A Little Bit) Discrete (Q5404075) (← links)
• A Process Model of Actin Polymerisation (Q5404079) (← links)
• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
• Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation (Q5404082) (← links)
• Process Algebra with Hooks for Models of Pattern Formation (Q5404085) (← links)
• Modular Verification of Interactive Systems with an Application to Biology (Q5404087) (← links)
• Control Flow Analysis of Generalised Boolean Networks (Q5404092) (← links)
• HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
• Stochastic Bigraphs (Q5415632) (← links)
• Modelling Intracellular Fate of FGF Receptors With BioAmbients (Q5415670) (← links)
• The Calculus of Looping Sequences for Modeling Biological Membranes (Q5452048) (← links)
• Computational and Information Science (Q5491629) (← links)
• Brane Calculi (Q5712404) (← links)