Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks | IEEE Conference Publication | IEEE Xplore