Brim, L.; Křetínský, M.; Jacquet, J. M.; Gilbert, D. Modelling Multi-Agent Systems As Synchronous Concurrent Constraint Processes. Comput. Inform. 2012, 21, 565-590.