Modelling multi-agent systems as synchronous concurrent constraint processes - BRIM, Lubos; KRETINSKY, Mojmir; JACQUET, Jean-Marie; GILBERT, David (Computing and informatics, 2002)