On the approximation of stochastic concurrent constraint programming by master equation

DOI10.1016/J.ENTCS.2008.11.025MaRDI QIDQ5415669zbMATH OpenOpenAlexFDO

Authors Luca Bortolussi

Publication date 13 May 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.2008.11.025

zbMATH Keywords

biological systemsfluid-flow approximationordinary differential equationsstochastic concurrent constraint programming

Mathematics Subject Classification ID

General theory for ordinary differential equations (34A99) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Systems biology, networks (92C42)

Recommendations

• Hybrid dynamics of stochastic programs
• Stochastic concurrent constraint programming and differential equations
• Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
• Modeling biological systems in stochastic concurrent constraint programming
• Model checking single agent behaviours by fluid approximation

Cites work

• scientific article; zbMATH DE number 3806623 (Why is no real title available?)
• scientific article; zbMATH DE number 1444349 (Why is no real title available?)
• Markov Chains
• Modeling biological systems in stochastic concurrent constraint programming
• Relating continuous and discrete PEPA models of signalling pathways
• Stochastic concurrent constraint programming and differential equations
• Truly concurrent constraint programming

Cited in

(10)

• Model checking Markov population models by stochastic approximations
• Model checking single agent behaviours by fluid approximation
• Stochastic concurrent constraint programming and differential equations
• Hybrid Semantics for Stochastic π-Calculus
• Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back
• Checking individual agent behaviours in Markov population models by fluid approximation
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• Efficient checking of individual rewards properties in Markov population models
• Hybrid dynamics of stochastic programs
• A fluid analysis framework for a Markovian process algebra

Describes a project that uses

Uses Software

• PEPA

This page was built for publication: On the approximation of stochastic concurrent constraint programming by master equation

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