A Formal Framework Supporting the Specification of the Interactions Between Agents. INF 31 (3).