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

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	A 25-Year Perspective on Logic Programming
Subtitle of host publication	Achievements of the Italian Association for Logic Programming, GULP
Editors	Agostino Dovier, Enrico Pontelli
Pages	231-253
Number of pages	23
DOIs	https://doi.org/10.1007/978-3-642-14309-0_11
State	Published - 2010
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6125
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

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

Cite this

Gabbrielli, M., Palamidessi, C., & Valencia, F. D. (2010). Concurrent and reactive Constraint Programming. In 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. in 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).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

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 - http://www.scopus.com/inward/record.url?scp=79956068971&partnerID=8YFLogxK

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. In Dovier A, Pontelli E, editors, 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

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this