Visual Analytics for Distributed Algorithms