From concurrent logic programming to concurrent constraint programming

A collaboration specification language

Proceedings of the 2nd conference on Domain-specific languages

Propagation Completeness of Reactive Constraints

ICLP '02 Proceedings of the 18th International Conference on Logic Programming

Soft concurrent constraint programming

ACM Transactions on Computational Logic (TOCL)

Experimenting with parallelism for the instantiation of ASP programs

Journal of Algorithms

A declarative coordination language

Computer Languages

From the π-calculus to flat GHC

Proceedings of the 14th symposium on Principles and practice of declarative programming