101 search results - page 4 / 21 » A framework for abstract interpretation of timed concurrent ... |
135
click to vote
CL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose an extension of concurrent constraint programming with primitives for process migration within a hierarchical network, and we study its semantics. To this purp...
143
click to vote
TAPSOFT
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
131
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
149
click to vote
CP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
150
click to vote
POPL
1990
ACM
15 years 8 months ago
1990
ACM
Abstract. Concurrent constraint programming is a simple but powerful framework for computation based on four basic computational ideas: concurrency (multiple agents are simultaneou...