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)
Volume164
Pages65–80
PublisherAcademic Press, Elsevier
KeywordsConcurrent Constraint Programming, Continuous Time Markov Chains, Probabilistic Semantics, Stochastic Languages
Abstract

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.

URLhttp://www.sciencedirect.com/science/article/pii/S1571066106004919
DOI10.1016/j.entcs.2006.07.012