Sciweavers

ENTCS
2006

Stochastic Concurrent Constraint Programming

13 years 4 months ago
Stochastic Concurrent Constraint Programming
We present a stochastic version of Concurrent Constraint Programming (CCP), where we associate a rate to each basic instruction that interacts with the constraint store. We give an operational semantic that can be provided either with a discrete or a continuous model of time. The notion of observables is discussed, both for the discrete and the continuous version, and a connection between the two is given. Key words: Concurrent Constraint Programming, Stochastic Languages, Probabilistic Semantics, Continuous Time.
Luca Bortolussi
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Luca Bortolussi
Comments (0)