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.
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation / Bortolussi, Luca. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 220:3(2008), pp. 161-175. ( Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008) Budapest, Hungary 29–30 March 2008) [10.1016/j.entcs.2008.11.025].
On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation
BORTOLUSSI, LUCA
2008-01-01
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.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
