Farid Mokhati Mourad Badri Linda Badri A Formal Framework Supporting the Specification of the Interactions between Agents. 337-350 2007 31 Informatica (Slovenia) 3 http://www.informatica.si/PDF/31-3/17_Mokhati%20-%20A%20Formal%20Framework%20Supporting%20the...pdf db/journals/informaticaSI/informaticaSI31.html#MokhatiBB07