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
- 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
- scientific article; zbMATH DE number 2166309 (Why is no real title available?)
- scientific article; zbMATH DE number 3339390 (Why is no real title available?)
- 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
(35)- Efficient simulation of general stochastic hybrid systems
- Static analysis and stochastic search for reachability problem
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Models and emerging trends of concurrent constraint programming
- A general overview of formal languages for individual-based modelling of ecosystems
- Verification of spatial and temporal modalities in biochemical systems
- Hybrid behaviour of Markov population models
- Categories of timed stochastic relations
- Timed concurrent constraint programming for analysing biological systems
- Stochastic concurrent constraint programming and differential equations
- Bio-PEPA: an extension of the process algebra PEPA for biochemical networks
- Biochemical reaction rules with constraints
- The attributed pi-calculus with priorities
- A declarative view of signaling pathways
- Stochastic programs and hybrid automata for (biological) modeling
- Hybrid Semantics for Stochastic π-Calculus
- Process Algebra Modelling Styles for Biomolecular Processes
- Bio-PEPA with Events
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
- A process algebra framework for multi-scale modelling of biological systems
- scientific article; zbMATH DE number 2090521 (Why is no real title available?)
- External control in process algebra for systems biology
- Constrained community-based gene regulatory network inference
- The Importance of Being (A Little Bit) Discrete
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Some investigations concerning the CTMC and the ODE model derived from bio-PEPA
- HYPE Applied to the Modelling of Hybrid Biological Systems
- On the approximation of stochastic concurrent constraint programming by master equation
- A Stochastic Pi Calculus for Concurrent Objects
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- Process calculi for biological processes
- \textsf{CoBiC}: context-dependent bioambient calculus
- Modeling biological systems in stochastic concurrent constraint programming
- Hybrid automata, reachability, and systems biology
- Hybrid dynamics of stochastic programs
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)
