Modeling biological systems in stochastic concurrent constraint programming
From MaRDI portal
Publication:941672
Recommendations
- Stochastic concurrent constraint programming and differential equations
- Timed concurrent constraint programming for analysing biological systems
- Hybrid dynamics of stochastic programs
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
Cites work
- scientific article; zbMATH DE number 2166309 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- A note on the rate of convergence to equilibrium for Erlang's model in the subcritical case
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Markov Chains
- Modeling biological systems in stochastic concurrent constraint programming
- Nondeterminism and infinite computations in constraint programming
- Stochastic modelling for systems biology.
- Stochastic programs and hybrid automata for (biological) modeling
- Transactions on Computational Systems Biology III
- Transactions on Computational Systems Biology IV
- Truly concurrent constraint programming
Cited in
(34)- The Importance of Being (A Little Bit) Discrete
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Process calculi for biological processes
- Hybrid behaviour of Markov population models
- Stochastic programs and hybrid automata for (biological) modeling
- Stochastic concurrent constraint programming and differential equations
- scientific article; zbMATH DE number 2090521 (Why is no real title available?)
- HYPE Applied to the Modelling of Hybrid Biological Systems
- Modeling biological systems in stochastic concurrent constraint programming
- Hybrid dynamics of stochastic programs
- Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
- A declarative view of signaling pathways
- On the approximation of stochastic concurrent constraint programming by master equation
- External control in process algebra for systems biology
- Timed concurrent constraint programming for analysing biological systems
- The attributed pi-calculus with priorities
- Bio-PEPA with Events
- Static analysis and stochastic search for reachability problem
- Categories of timed stochastic relations
- Verification of spatial and temporal modalities in biochemical systems
- A Stochastic Pi Calculus for Concurrent Objects
- Models and emerging trends of concurrent constraint programming
- Hybrid automata, reachability, and systems biology
- Process Algebra Modelling Styles for Biomolecular Processes
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- Biochemical reaction rules with constraints
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- Efficient simulation of general stochastic hybrid systems
- A general overview of formal languages for individual-based modelling of ecosystems
- Hybrid Semantics for Stochastic π-Calculus
- A process algebra framework for multi-scale modelling of biological systems
- Constrained community-based gene regulatory network inference
This page was built for publication: Modeling biological systems in stochastic concurrent constraint programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q941672)
