Sciweavers

Share
ENTCS
2006

Stochastic Concurrent Constraint Programming

8 years 6 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)
books