Modeling biological systems in stochastic concurrent constraint programming

DOI10.1007/s10601-007-9034-8zbMath1144.92001OpenAlexW2050653042MaRDI QIDQ941672

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

zbMATH Keywords

stochastic modelinggenetic regulatory networkscircadian clocksenyzmatic reactions

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Computing methodologies and applications (68U99) General biology and biomathematics (92B05) Computational methods for problems pertaining to biology (92-08)

Related Items

A Declarative View of Signaling Pathways, Slicing concurrent constraint programs, A process algebra framework for multi-scale modelling of biological systems, Process calculi for biological processes, A general overview of formal languages for individual-based modelling of ecosystems, Static analysis and stochastic search for reachability problem, Modeling biological systems in stochastic concurrent constraint programming, 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, Stochastic Programs and Hybrid Automata for (Biological) Modeling, Hybrid automata, reachability, and systems biology, Hybrid dynamics of stochastic programs, External Control in Process Algebra for Systems Biology, Bio-PEPA: A framework for the modelling and analysis of biological systems, Hybrid Semantics for Stochastic π-Calculus, The Attributed Pi-Calculus with Priorities, Categories of Timed Stochastic Relations, Verification of spatial and temporal modalities in biochemical systems, Process Algebra Modelling Styles for Biomolecular Processes, Bio-PEPA with Events, Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back, Efficient simulation of general stochastic hybrid systems, Models and emerging trends of concurrent constraint programming, Stochastic Concurrent Constraint Programming and Differential Equations, Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks, Constrained Community-Based Gene Regulatory Network Inference, Hybrid behaviour of Markov population models

Uses Software

• Cellerator
• BIOCHAM
• SICStus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nondeterminism and infinite computations in constraint programming
• Modeling biological systems in stochastic concurrent constraint programming
• Truly concurrent constraint programming
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Stochastic Programs and Hybrid Automata for (Biological) Modeling
• Markov Chains
• A note on the rate of convergence to equilibrium for Erlang's model in the subcritical case
• Transactions on Computational Systems Biology III
• Transactions on Computational Systems Biology IV