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

Full description

Bibliographic Details

Published in:	XXV International Conference of the Chilean Computer Science Society (SCCC'05) p. 7 pp.
Main Authors:	Olarte, C., Rueda, C.
Format:	Conference Proceeding
Language:	English
Published:	IEEE 2005
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!