Concurrent and Reactive Constraint Programming - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2010

Concurrent and Reactive Constraint Programming

Abstract

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

Domains

Distributed, Parallel, and Cluster Computing [cs.DC]
Fichier principal
Vignette du fichier
25anniGPV.pdf (258.78 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Frank D. Valencia  : Connect in order to contact the contributor

https://hal.science/hal-00545256

Submitted on : Thursday, December 9, 2010-10:35:47 PM

Last modification on : Thursday, December 14, 2023-1:56:06 PM

Long-term archiving on: Monday, November 5, 2012-1:05:44 PM

Download

Dates and versions

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

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
392 View
272 Download

Altmetric

Share

Gmail Facebook X LinkedIn More