@InProceedings{DBLP_conf-icdcn-HaddarKMMJ08, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks}, BookTitle = {Distributed Computing and Networking}, Volume = {904}, Pages = {286--291}, Publisher = {Springer Berlin / Heidelberg}, Year = {2008} } @InProceedings{1544376, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {Electing a leader in the local computation model using mobile agents}, BookTitle = {AICCSA '08: Proceedings of the 2008 IEEE/ACS International Conference on Computer Systems and Applications}, Pages = {473--480}, Publisher = {IEEE Computer Society}, Address = {Washington, DC, USA}, Year = {2008} } @article{1534033, Author = {Haddar, Med-Amine and Hadj-Kacem, Ahmed and Métivier, Yves and Mosbah, Mohamed and Jmaiel, Mohamed}, Title = {A Distributed Computational Model for Mobile Agents}, Journal = {Agent Computing and Multi-Agent Systems: 10th Pacific Rim International Conference on Multi-Agent Systems, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers}, Pages = {416--421}, Publisher = {Springer-Verlag}, Address = {Berlin, Heidelberg}, Year = {2007} }