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.

• Type: Journal
• Year: 2006
• Where: ENTCS
• Authors: Luca Bortolussi
• Keywords: Concurrent Constraint Programming, Constraint Store, ENTCS 2006, Stochastic Version