Proving Distributed Algorithms for Mobile Agents: Examples of Spanning Tree Computation in Anonymous Networks
From MaRDI portal
Publication:5445768
DOI10.1007/978-3-540-77444-0_28zbMath1131.68588OpenAlexW1514842863MaRDI QIDQ5445768
Mohamed Jmaiel, Mohamed Mosbah, Ahmed Hadj Kacem, Yves Métivier, Mohamed Haddar
Publication date: 6 March 2008
Published in: Distributed Computing and Networking (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77444-0_28
Graph theory (including graph drawing) in computer science (68R10) Distributed systems (68M14) Distributed algorithms (68W15)
Related Items
How much memory is needed for leader election ⋮ Distributed graph searching with a sense of direction