Pages that link to "Item:Q2870300"

The following pages link to Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks (Q2870300):

Displaying 18 items.

• Simulation techniques for the calculus of wrapped compartments (Q418836) (← links)
• nano\(\kappa\): A calculus for the modeling and simulation of nano devices (Q959782) (← links)
• How adaptive and reliable is your program? (Q2117013) (← links)
• Flexible nets: a modeling formalism for dynamic systems with uncertain parameters (Q2177765) (← links)
• Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
• Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
• Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
• Categories of Timed Stochastic Relations (Q2805158) (← links)
• The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
• A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
• A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra (Q3543308) (← links)
• Bio-PEPA with Events (Q3642952) (← links)
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
• Modelling Biological Compartments in Bio-PEPA (Q5179426) (← links)
• Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
• Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
• Bonding calculus (Q6062028) (← links)
• A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)