On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation

Authors:
Luca Bortolussi
Affiliations:
Department of Mathematics and Computer Science, University of Trieste, Italia and Center for Biomolecular Medicine, Area Science Park, Trieste
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 8
Cited 4

Concurrent constraint programming

Concurrent constraint programming
A compositional approach to performance modelling

A compositional approach to performance modelling
Fluid Flow Approximation of PEPA models

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Invited Talk: A Process Algebra Master Equation

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Constraints
Relating continuous and discrete PEPA models of signalling pathways

Theoretical Computer Science
Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back

Transactions on Computational Systems Biology XI
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII

Hybrid dynamics of stochastic programs

Theoretical Computer Science
Higher moment analysis of a spatial stochastic process algebra

EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering
Fluid limits of queueing networks with batches

ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Continuous approximation of collective system behaviour: A tutorial

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

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.