Stochastic Concurrent Constraint Programming

TitleStochastic Concurrent Constraint Programming
Publication TypeConference Paper
Year of Publication2006
AuthorsBortolussi L
EditorDi Pierro A, Wiklicky H
Conference Name4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006)
PublisherAcademic Press, Elsevier
KeywordsConcurrent Constraint Programming, Continuous Time Markov Chains, Probabilistic Semantics, Stochastic Languages

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. Finally, a possible application for modeling biological networks is presented.