L. Brim, M. Křetínský, J. M. Jacquet, and D. Gilbert, “Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes”, Comput. Inform., vol. 21, no. 6, pp. 565–590, Jan. 2012.