Temporal Concurrent Constraint Programming: Applications and Behavior
Download:
|
|
unknown authors
http://www.brics.dk/~fvalenci/chapter-ntcc.ps.gz
Add To MetaCart
Abstract:
encia
Citations
| 241 | On a decision method in restricted second order arithmetic – Büchi - 1962 |
| 126 | The Esterel Synchronous Programming Language – Berry, Gonthier - 1992 |
| 59 | Proving concurrent constraint programs correct – Boer, Gabbrielli, et al. - 1997 |
| 29 | A Timed Concurrent Constraint Language – Boer, Gabbrielli, et al. - 2000 |
| 23 | Stochastic processes as concurrent constraint programs – Gupta, Jagadeesan, et al. - 1999 |
| 22 | On optimal cooperation of knowledge sources - an empirical investigation – Brenda, Jagannathan, et al. - 1986 |
| 22 | Probabilistic concurrent constraint programming – Gupta, Jagadeesan - 1997 |
| 19 | A Temporal Logic for reasoning about Timed Concurrent Constraint Programs – Boer, Gabbrielli, et al. - 2001 |
| 9 | The assumption architecture – Fredslund - 1999 |
| 3 | The evolution of multiagent coordination strategies. Adaptive Behavior – Haynes, Sen - 1997 |
