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...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Electronic notes in theoretical computer science Ročník 220; číslo 3; s. 163 - 180
Hlavní autor:	Bortolussi, Luca
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 12.12.2008
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
Shrnutí:	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