Modeling biological systems in stochastic concurrent constraint programming
DOI10.1007/S10601-007-9034-8zbMATH Open1144.92001OpenAlexW2050653042MaRDI QIDQ941672FDOQ941672
Authors: Luca Bortolussi, Alberto Policriti 
Publication date: 2 September 2008
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-007-9034-8
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
Computing methodologies and applications (68U99) Applications of mathematical programming (90C90) Computational methods for problems pertaining to biology (92-08) General biology and biomathematics (92B05)
Cites Work
- Markov Chains
- Title not available (Why is that?)
- Stochastic modelling for systems biology.
- Transactions on Computational Systems Biology III
- Truly concurrent constraint programming
- Modeling biological systems in stochastic concurrent constraint programming
- Transactions on Computational Systems Biology IV
- Nondeterminism and infinite computations in constraint programming
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes
- Title not available (Why is that?)
- A note on the rate of convergence to equilibrium for Erlang's model in the subcritical case
- Stochastic programs and hybrid automata for (biological) modeling
Cited In (34)
- 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
- Title not available (Why is that?)
- 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
- Process Algebra Modelling Styles for Biomolecular Processes
- Hybrid automata, reachability, and systems biology
- 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
- The Importance of Being (A Little Bit) Discrete
Uses Software
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)
