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. 113-150 2005 16 Appl. Algebra Eng. Commun. Comput. 2-3 http://dx.doi.org/10.1007/s00200-005-0173-0 db/journals/aaecc/aaecc16.html#BoerVMEH05