Cosimo Laneve;Ugo Montanari
-;-
Universal concurrent constraint programing: symbolic semantics and applications to security
Proceedings of the 2008 ACM symposium on Applied computing
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Models and emerging trends of concurrent constraint programming
Constraints