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á bibliografia

Vydané v:	XXV International Conference of the Chilean Computer Science Society (SCCC'05) s. 7 pp.
Hlavní autori:	Olarte, C., Rueda, C.
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	IEEE 2005
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!