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.
M.Gabbrielli, C.Palamidessi, F. D. Valencia (2010). Concurrent and Reactive Constraint Programming. BERLINO : Springer-Verlag.
Concurrent and Reactive Constraint Programming
GABBRIELLI, MAURIZIO;
2010
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
