Concurrent and Reactive Constraint Programming - Archive ouverte HAL Accéder directement au contenu
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
Fichier principal
Vignette du fichier
25anniGPV.pdf (258.78 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
392 Consultations
272 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More