A new formal model of collaboration by multi-agent systems | IEEE Conference Publication | IEEE Xplore