Animation of Protocols and Distributed Algorithms. - Mester, Arnulf; Krumm, Heiko (Computer Science Education, 2000)