Stochastic Concurrent Constraint Programming |
| |
Authors: | Luca Bortolussi |
| |
Affiliation: | aDepartment of Mathematics and Computer Science, University of Udine, Italia |
| |
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. |
| |
Keywords: | Concurrent Constraint Programming Stochastic Languages Probabilistic Semantics Continuous Time |
本文献已被 ScienceDirect 等数据库收录! |
|