1. Communicating sequential processes;Hoare;Communications of the ACM,1978
2. I.P. Vlahavas, I. Sakellariou, I. Futo, Z. Pasztor, J. Szeredi, CSPCONS: a communicating sequential prolog with constraints, in: Methods and Applications of Artificial Intelligence, Proceedings of the Second Hellenic Conference on AI, SETN 2002, Lecture Notes in Computer Science, vol. 2308, Springer, Berlin, 2002, pp. 72–84.
3. The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems;Hermenegildo,1999
4. D. Cabeza, M. Hermenegildo, Distributed concurrent constraint execution in the CIAO system, in: Proceedings of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, U. Utrecht/T.U. Madrid, 1995.
5. Using attributed variables in the implementation of concurrent and parallel logic programming systems;Hermenegildo,1995