80 search results - page 1 / 16 » Concurrent Constraint Programming with Process Mobility |
CL
2000
Springer
14 years 2 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
14 years 3 months ago
1999
ACM
ESOP
1999
Springer
14 years 3 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
14 years 2 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 10 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...