Concurrent and reactive Constraint Programming

Maurizio Gabbrielli; Catuscia Palamidessi; Frank D. Valencia

doi:10.1007/978-3-642-14309-0_11

Concurrent and reactive Constraint Programming

Maurizio Gabbrielli, Catuscia Palamidessi, Frank D. Valencia

Producción: Capítulo del libro/informe/acta de congreso › Capítulo en libro de investigación › revisión exhaustiva

2 Citas (Scopus)

Resumen

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.

Idioma original	Inglés
Título de la publicación alojada	A 25-Year Perspective on Logic Programming
Subtítulo de la publicación alojada	Achievements of the Italian Association for Logic Programming, GULP
Editores	Agostino Dovier, Enrico Pontelli
Páginas	231-253
Número de páginas	23
DOI	https://doi.org/10.1007/978-3-642-14309-0_11
Estado	Publicada - 2010
Publicado de forma externa	Sí

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	6125
ISSN (versión impresa)	0302-9743
ISSN (versión digital)	1611-3349

Acceder al documento

10.1007/978-3-642-14309-0_11

Otros archivos y enlaces

Enlace a la publicación en Scopus

Citar esto

Gabbrielli, M., Palamidessi, C., & Valencia, F. D. (2010). Concurrent and reactive Constraint Programming. En A. Dovier, & E. Pontelli (Eds.), A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP (pp. 231-253). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6125). https://doi.org/10.1007/978-3-642-14309-0_11

Gabbrielli, Maurizio ; Palamidessi, Catuscia ; Valencia, Frank D. / Concurrent and reactive Constraint Programming. A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. editor / Agostino Dovier ; Enrico Pontelli. 2010. pp. 231-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inbook{13436d860b0b475ca3f651d5a3b9dffe,

title = "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.",

author = "Maurizio Gabbrielli and Catuscia Palamidessi and Valencia, \{Frank D.\}",

year = "2010",

doi = "10.1007/978-3-642-14309-0\_11",

language = "English",

isbn = "9783642143083",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "231--253",

editor = "Agostino Dovier and Enrico Pontelli",

booktitle = "A 25-Year Perspective on Logic Programming",

}

Gabbrielli, M, Palamidessi, C & Valencia, FD 2010, Concurrent and reactive Constraint Programming. En A Dovier & E Pontelli (eds.), A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6125, pp. 231-253. https://doi.org/10.1007/978-3-642-14309-0_11

Concurrent and reactive Constraint Programming. / Gabbrielli, Maurizio; Palamidessi, Catuscia; Valencia, Frank D.
A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. ed. / Agostino Dovier; Enrico Pontelli. 2010. p. 231-253 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6125).

Producción: Capítulo del libro/informe/acta de congreso › Capítulo en libro de investigación › revisión exhaustiva

TY - CHAP

T1 - Concurrent and reactive Constraint Programming

AU - Gabbrielli, Maurizio

AU - Palamidessi, Catuscia

AU - Valencia, Frank D.

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/79956068971

U2 - 10.1007/978-3-642-14309-0_11

DO - 10.1007/978-3-642-14309-0_11

M3 - Chapter

AN - SCOPUS:79956068971

SN - 9783642143083

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 231

EP - 253

BT - A 25-Year Perspective on Logic Programming

A2 - Dovier, Agostino

A2 - Pontelli, Enrico

ER -

Gabbrielli M, Palamidessi C, Valencia FD. Concurrent and reactive Constraint Programming. En Dovier A, Pontelli E, editores, A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP. 2010. p. 231-253. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-14309-0_11

Concurrent and reactive Constraint Programming

Resumen

Serie de la publicación

Acceder al documento

Otros archivos y enlaces

Huella

Citar esto