1. Specification and proof in membership equational logic;Bouhoula;Theoretical Computer Science,2000
2. B. Bauer, J.P. Muller and J. Odell, An extension of UML by protocols for multi-agent interaction, in: International Conference on Multi-Agent Systems (ICMAS’00), Boston Massachussetts, USA, July 2000, 207–214.
3. C. Lemaître and C.B. Excelente, Multi-agent organization approach, in: Proceedings 2nd Iberoamerican Workshop on Distributed Artificial Intelligence and Multi-Agent Systems, Toledo, USA, 1998, 7–16.
4. Building multi-agent models applied to supply chain management;Nawarecki;Control and Cybernetics,2010
5. F. Mokhati, M. Badri and S. Zerrougui, A novel conformance testing technique for agent interaction protocols, in: Proceedings of Science and Information Conference (SAI), London UK, 7–9 October 2013, 485–495.