Stochastic concurrent constraint programming and differential equations

DOI10.1016/J.ENTCS.2007.07.003MaRDI QIDQ2870282zbMATH OpenOpenAlexFDO

Authors Luca Bortolussi, Alberto Policriti

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.07.003

zbMATH Keywords

biological systemsordinary differential equationsstochastic concurrent constraint programmingstochastic modeling

Mathematics Subject Classification ID

Systems biology, networks (92C42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General theory for ordinary differential equations (34A99)

Recommendations

• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
• Modeling biological systems in stochastic concurrent constraint programming
• Hybrid dynamics of stochastic programs
• Stochastic programs and hybrid automata for (biological) modeling
• On the approximation of stochastic concurrent constraint programming by master equation

Cites work

• Markov Chains
• Modeling biological systems in stochastic concurrent constraint programming
• On process rate semantics
• Stochastic concurrent constraint programming and differential equations
• Stochastic modelling for systems biology.
• The algorithmic analysis of hybrid systems
• Truly concurrent constraint programming

Cited in

(19)

• The Importance of Being (A Little Bit) Discrete
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Stochastic programs and hybrid automata for (biological) modeling
• Stochastic concurrent constraint programming and differential equations
• Relating continuous and discrete PEPA models of signalling pathways
• Fluid computation of passage-time distributions in large Markov models
• Modeling biological systems in stochastic concurrent constraint programming
• Hybrid dynamics of stochastic programs
• A fluid analysis framework for a Markovian process algebra
• On the approximation of stochastic concurrent constraint programming by master equation
• External control in process algebra for systems biology
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• Formal techniques for performance analysis: blending SAN and PEPA
• On process rate semantics
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
• Fluid approximation of broadcasting systems
• Modelling patterns of gene regulation in the bond-calculus
• A general overview of formal languages for individual-based modelling of ecosystems
• Hybrid Semantics for Stochastic π-Calculus

Describes a project that uses

Uses Software

• PEPA

This page was built for publication: Stochastic concurrent constraint programming and differential equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870282)