Frank S. de Boer, Wieke de Vries, John-Jules Ch. Meyer, Rogier M. van Eijk, Wiebe van der Hoek. Process algebra and constraint programming for modeling interactions in MAS. Appl. Algebra Eng. Commun. Comput., 16(2-3):113-150, 2005. [doi]
Abstract is missing.