Stochastic concurrent constraint programming and differential equations
DOI10.1016/J.ENTCS.2007.07.003zbMATH Open1279.92031OpenAlexW2033771089MaRDI QIDQ2870282FDOQ2870282
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
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
biological systemsordinary differential equationsstochastic concurrent constraint programmingstochastic modeling
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)
Cites Work
- Markov Chains
- On process rate semantics
- Stochastic modelling for systems biology.
- Truly concurrent constraint programming
- Modeling biological systems in stochastic concurrent constraint programming
- The algorithmic analysis of hybrid systems
- Stochastic concurrent constraint programming and differential equations
Cited In (18)
- 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
- 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
- The Importance of Being (A Little Bit) Discrete
Uses Software
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)
