Stochastic Concurrent Constraint Programming

被引：22

作者：

Bortolussi, Luca ^{[1
]}

机构：

[1] Univ Udine, Dept Math & Comp Sci, Udine, Italy

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2006年 / 164卷 / 03期

关键词：

Concurrent Constraint Programming; Stochastic Languages; Probabilistic Semantics; Continuous Time;

D O I：

10.1016/j.entcs.2006.07.012

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：65 / 80

页数：16