Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks.

Med Amine Haddar, Ahmed Hadj Kacem, Yves Mtivier, Mohamed Mosbah, Mohamed Jmaiel

Browse the full ICDCN paper archive.