Stochastic Concurrent Constraint Programming

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 observabl...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 164; H. 3; S. 65 - 80
1. Verfasser:	Bortolussi, Luca
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 26.10.2006
Schlagworte:	Concurrent Constraint Programming Continuous Time Probabilistic Semantics Stochastic Languages Probabilistic Semantics Stochastic Languages Concurrent Constraint Programming Continuous Time
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!