Stochastic Concurrent Constraint Programming and Differential Equations

DOI10.1016/j.entcs.2007.07.003zbMath1279.92031OpenAlexW2033771089MaRDI QIDQ2870282

Alberto Policriti, Luca Bortolussi

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

stochastic modelingordinary differential equationsbiological systemsstochastic concurrent constraint programming

Mathematics Subject Classification ID

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

Related Items (17)

Formal techniques for performance analysis: blending SAN and PEPA ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ The Importance of Being (A Little Bit) Discrete ⋮ Relating continuous and discrete PEPA models of signalling pathways ⋮ On process rate semantics ⋮ On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation ⋮ Stochastic Programs and Hybrid Automata for (Biological) Modeling ⋮ Hybrid dynamics of stochastic programs ⋮ A fluid analysis framework for a Markovian process algebra ⋮ 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 ⋮ Fluid approximation of broadcasting systems ⋮ Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back ⋮ Fluid computation of passage-time distributions in large Markov models ⋮ Stochastic Concurrent Constraint Programming and Differential Equations

Uses Software

• PEPA

Cites Work

• Unnamed Item
• The algorithmic analysis of hybrid systems
• Modeling biological systems in stochastic concurrent constraint programming
• Truly concurrent constraint programming
• On process rate semantics
• Stochastic Concurrent Constraint Programming and Differential Equations
• Markov Chains

This page was built for publication: Stochastic Concurrent Constraint Programming and Differential Equations