Empirical evidence that algorithm animation promotes understanding of distributed algorithms | IEEE Conference Publication | IEEE Xplore