ViSiDiA: A Java Framework for Designing, Simulating, and Visualizing Distributed Algorithms | IEEE Conference Publication | IEEE Xplore