Interactive algorithm animations in a distributed environment: protocols and animations | IEEE Conference Publication | IEEE Xplore