Debugging the Execution of Distributed Algorithms over Anonymous Networks | IEEE Conference Publication | IEEE Xplore