Concurrent and Reactive Constraint Programming - Archive ouverte HAL
Chapitre D'ouvrage Année : 2010

Concurrent and Reactive Constraint Programming

Résumé

The Italian Logic Programming community has given several contributions to the theory of Concurrent Constraint Programming. In particular, in the topics of semantics, verification, and timed extensions. In this paper we review the main lines of research and contributions of the community in this field

Domaines

Calcul parallèle, distribué et partagé [cs.DC]
Fichier principal
Vignette du fichier
25anniGPV.pdf (258.78 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Frank D. Valencia  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00545256

Soumis le : jeudi 9 décembre 2010-22:35:47

Dernière modification le : jeudi 14 novembre 2024-16:16:03

Archivage à long terme le : lundi 5 novembre 2012-13:05:44

Télécharger pour visualiser

Dates et versions

hal-00545256 , version 1 (09-12-2010)

Identifiants

Citer

Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia. Concurrent and Reactive Constraint Programming. Agostino Dovier and Enrico Pontelli. A 25-Year Perspective on Logic Programming, Springer, pp.231-253, 2010, ⟨10.1007/978-3-642-14309-0_11⟩. ⟨hal-00545256⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
409 Consultations
307 Téléchargements

Altmetric

Partager

More