A fully abstract model for concurrent logic languages / F.S. de Boer, C. PalamidessiEmbedding as a tool for language comparison / F.S. de Boer, C. PalamidessiEmbedding as a tool for language comparison: on the CSP hierarchy / Frank S. de Boer and Catuscia PalamidessiA fully abstract model for concurrent constraint programming / F.S. de Boer, C. PalamidessiEmbedding as a tool for language comparison: on the CSP hierarchy / by Frank de Boer and Catuscia PalamidessiAsynchronous communication in process algebra : extended abstract / by F.S. de Boer, J.W. Klop, C. PalamidessiAsynchronous communication in process algebra : (extended abstract) / F.S. de Boer, J.W. Klop, C. PalamidessiA theory of first-order built-in's of Prolog / K.R. Apt, E. Marchiori, C. PalamidessiA declarative approach for first-order built-in's of Prolog / K.R. Apt, E. Marchiori, C. PalamidessiNondeterminism and infinite computations in constraint programming / F.S. de Boer, A. Di Pierro, C. PalamidessiAn algebraic perspective of constraint logic programming / F.S. de Boer, A. De Pierro, C. Palamidessi