Models and Emerging Trends of Concurrent Constraint Programming

Carlos Olarte 1, 2 Camilo Rueda 2, 1 Frank D. Valencia 3, 4, 2
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of agents communicating by posting and querying partial information, represented as constraints over the variables of the system. This covers a vast variety of systems as those arising in biological phenomena, reactive systems, net- centric computing and the advent of social networks and cloud computing. In this paper we survey the main applications, developments and current trends of CCP.
Type de document :
Article dans une revue
Constraints, Springer Verlag, 2013, 18 (4), pp.535-578. 〈10.1007/s10601-013-9145-3〉
Liste complète des métadonnées

Littérature citée [203 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00869192
Contributeur : Catuscia Palamidessi <>
Soumis le : lundi 9 décembre 2013 - 18:56:32
Dernière modification le : jeudi 9 février 2017 - 15:15:58
Document(s) archivé(s) le : samedi 8 avril 2017 - 05:34:17

Fichier

ccp-survey-article.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Carlos Olarte, Camilo Rueda, Frank D. Valencia. Models and Emerging Trends of Concurrent Constraint Programming. Constraints, Springer Verlag, 2013, 18 (4), pp.535-578. 〈10.1007/s10601-013-9145-3〉. 〈hal-00869192v2〉

Partager

Métriques

Consultations de
la notice

419

Téléchargements du document

891