On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation |
| |
Authors: | Luca Bortolussi |
| |
Affiliation: | aDepartment of Mathematics and Computer Science, University of Trieste, Italia;bCenter for Biomolecular Medicine, Area Science Park, Trieste |
| |
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. |
| |
Keywords: | Stochastic Concurrent Constraint Programming ordinary differential equations biological systems fluid-flow approximation |
本文献已被 ScienceDirect 等数据库收录! |