School of Informatics AUTh
I. Vlahavas, I. Sakellariou, I. Futo, Z. Pasztor, J. Szeredi, “CSPCONS: A Communicating Sequential Prolog with Constraints”, Proc. 2nd Hellenic Conference on AI (SETN '02), Springer-Verlag, LNAI 2308, pp. 72-84, 2002.
I. Sakellariou, I. Vlahavas, I. Futo, Z. Pasztor, J. Szeredi, “Communicating Sequential Processes for Distributed Constraint Solving”, Information Sciences, Elsevier, 176(5), pp. 490-521, 2006.