Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks.

Mouna Ktari, Mohamed Amine Haddar, Ahmed Hadj Kacem, Mohamed Mosbah

Browse the full AICCSA paper archive.