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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Electronic notes in theoretical computer science Ročník 164; číslo 3; s. 65 - 80
Hlavní autor: Bortolussi, Luca
Médium: Journal Article
Jazyk:angličtina
Vydáno: Elsevier B.V 26.10.2006
Témata:
Concurrent Constraint Programming
Continuous Time
Probabilistic Semantics
Stochastic Languages
Probabilistic Semantics
Stochastic Languages
Concurrent Constraint Programming
Continuous Time
ISSN:1571-0661, 1571-0661
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2006.07.012