Mokhati, F.; Badri, M.; Badri, L. A Formal Framework Supporting the Specification of the Interactions Between Agents . IJCAI 30.