Concurrent and Reactive Constraint Programming
Résumé
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
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...