Brim, L. et al. 2012. Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes. Computing and Informatics. 21, 6 (Jan. 2012), 565–590.