Brim, L., Křetínský, M., Jacquet, J.M. and Gilbert, D. 2012. Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. COMPUTING AND INFORMATICS. 21, 6 (Jan. 2012), 565–590.