80 search results - page 1 / 16 » Concurrent Constraint Programming with Process Mobility |
CL
2000
Springer
13 years 10 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...
POPL
1999
ACM
13 years 10 months ago
1999
ACM
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...
ICLP
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
NJC
2002
13 years 6 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...