A stochastic non-deterministic temporal concurrent constraint calculus

We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior. We argue that such an extension is needed to faithfully model concurrent systems in real-life situat...

Celý popis

Podrobná bibliografie

Vydáno v:	XXV International Conference of the Chilean Computer Science Society (SCCC'05) s. 7 pp.
Hlavní autoři:	Olarte, C., Rueda, C.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 2005
Témata:	Biological system modeling Biological systems Calculus Concurrent computing Constraint theory Logic programming Probabilistic logic Probability Stochastic processes Stochastic systems
ISBN:	0769524915, 9780769524917
ISSN:	1522-4902
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!