A compositional semantic structure for multi-agent systems dynamics door P.A.T. van Eck