On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

We explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP) and its fluid-flow approximation. Writing the master equation for a sCCP model, we can show that the fluid flow equation is a first-order approximation of the true equation for th...

Full description

Saved in:

Bibliographic Details
Published in:	Electronic notes in theoretical computer science Vol. 220; no. 3; pp. 163 - 180
Main Author:	Bortolussi, Luca
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 12.12.2008
Subjects:	biological systems fluid-flow approximation ordinary differential equations Stochastic Concurrent Constraint Programming Stochastic Concurrent Constraint Programming ordinary differential equations biological systems fluid-flow approximation
ISSN:	1571-0661, 1571-0661
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	We explore the relation between the stochastic semantic associated to stochastic Concurrent Constrain Programming (sCCP) and its fluid-flow approximation. Writing the master equation for a sCCP model, we can show that the fluid flow equation is a first-order approximation of the true equation for the average. Moreover, we introduce a second-order correction and first-order equations for the variance and the covariance.
ISSN:	1571-0661 1571-0661
DOI:	10.1016/j.entcs.2008.11.025