hal-00545256, version 1
Concurrent and Reactive Constraint Programming
Maurizio Gabbrielli
1Catuscia Palamidessi 2Frank D. Valencia 2
A 25-Year Perspective on Logic Programming Springer (Ed.) (2010) 231-253
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
- 1: Dipartimento di Scienze dell'Informazione
- Università di Bologna
- 2: COMETE (INRIA Saclay - Ile de France)
- INRIA – Polytechnique - X – CNRS : UMR7161
- Domain : Computer Science/Distributed, Parallel, and Cluster Computing
- Keywords : Concurrent Constraint Programming – Concurrency Theory – Process Calculi
- hal-00545256, version 1
- http://hal.archives-ouvertes.fr/hal-00545256
- oai:hal.archives-ouvertes.fr:hal-00545256
- From: Frank D. Valencia
- Submitted on: Thursday, 9 December 2010 22:35:47
- Updated on: Wednesday, 19 January 2011 00:18:23
Associated documents
Export