Brim, Luboš, Mojmír Křetínský, Jean Marie Jacquet, and David Gilbert. 2012. “Modelling Multi-Agent Systems As Synchronous Concurrent Constraint Processes”. COMPUTING AND INFORMATICS 21 (6):565-90. https://www.cai.sk/ojs/index.php/cai/article/view/479.