Med Amine Haddar, Ahmed Hadj Kacem, Yves Métivier, Mohamed Mosbah, Mohamed Jmaiel. Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks. In Shrisha Rao, Mainak Chatterjee, Prasad Jayanti, C. Siva Ram Murthy, Sanjoy Kumar Saha, editors, Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008. Volume 4904 of Lecture Notes in Computer Science, pages 286-291, Springer, 2008. [doi]
@inproceedings{HaddarKMMJ08:0,
title = {Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks},
author = {Med Amine Haddar and Ahmed Hadj Kacem and Yves Métivier and Mohamed Mosbah and Mohamed Jmaiel},
year = {2008},
doi = {10.1007/978-3-540-77444-0_28},
url = {http://dx.doi.org/10.1007/978-3-540-77444-0_28},
tags = {mobile},
researchr = {https://researchr.org/publication/HaddarKMMJ08%3A0},
cites = {0},
citedby = {0},
pages = {286-291},
booktitle = {Distributed Computing and Networking, 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008},
editor = {Shrisha Rao and Mainak Chatterjee and Prasad Jayanti and C. Siva Ram Murthy and Sanjoy Kumar Saha},
volume = {4904},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-77443-3},
}