Article ID Journal Published Year Pages File Type
422329 Electronic Notes in Theoretical Computer Science 2008 18 Pages PDF
Abstract

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.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics