Pages that link to "Item:Q941672"
From MaRDI portal
The following pages link to Modeling biological systems in stochastic concurrent constraint programming (Q941672):
Displaying 30 items.
- Hybrid behaviour of Markov population models (Q259041) (← links)
- A process algebra framework for multi-scale modelling of biological systems (Q388145) (← links)
- Modeling biological systems in stochastic concurrent constraint programming (Q941672) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- Efficient simulation of general stochastic hybrid systems (Q2085142) (← links)
- Static analysis and stochastic search for reachability problem (Q2229143) (← links)
- Bio-PEPA: A framework for the modelling and analysis of biological systems (Q2271444) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- A general overview of formal languages for individual-based modelling of ecosystems (Q2423746) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Stochastic Concurrent Constraint Programming and Differential Equations (Q2870282) (← links)
- Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks (Q2870300) (← links)
- The Attributed Pi-Calculus with Priorities (Q3068847) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Stochastic Programs and Hybrid Automata for (Biological) Modeling (Q3576036) (← links)
- Hybrid Semantics for Stochastic π-Calculus (Q3599192) (← links)
- Process Algebra Modelling Styles for Biomolecular Processes (Q3642950) (← links)
- Bio-PEPA with Events (Q3642952) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- External Control in Process Algebra for Systems Biology (Q5179432) (← links)
- Constrained Community-Based Gene Regulatory Network Inference (Q5270735) (← links)
- The Importance of Being (A Little Bit) Discrete (Q5404075) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA (Q5404080) (← links)
- HYPE Applied to the Modelling of Hybrid Biological Systems (Q5415630) (← links)
- On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation (Q5415669) (← links)
- Process calculi for biological processes (Q6062000) (← links)
