Stochastic Concurrent Constraint Programming
Posted by luca | On Saturday, 10 August 2013
Title | Stochastic Concurrent Constraint Programming |
Publication Type | Conference Paper |
Year of Publication | 2006 |
Authors | Bortolussi L |
Editor | Di Pierro A, Wiklicky H |
Conference Name | 4th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2006) |
Volume | 164 |
Pages | 65–80 |
Publisher | Academic Press, Elsevier |
Keywords | Concurrent 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. |
URL | http://www.sciencedirect.com/science/article/pii/S1571066106004919 |
DOI | 10.1016/j.entcs.2006.07.012 |