Concurrent and Reactive Constraint Programming

Maurizio Gabbrielli 1, 2 Catuscia Palamidessi 3 Frank Valencia 4, 3, 5, *
* Corresponding author
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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
Complete list of metadatas

Cited literature [65 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00545256
Contributor : Frank D. Valencia <>
Submitted on : Thursday, December 9, 2010 - 10:35:47 PM
Last modification on : Wednesday, March 27, 2019 - 4:41:28 PM
Long-term archiving on : Monday, November 5, 2012 - 1:05:44 PM

File

25anniGPV.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Maurizio Gabbrielli, Catuscia Palamidessi, Frank 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⟩

Share

Metrics

Record views

772

Files downloads

308