Gruner, Stefan; Mosbah, Mohamed; Bauderon, Michel
(2001)
We present a tool for the visualization of distributed computations. Special attention is payed to certain distributed algorithms which have been coded as rewriting systems. In order to study the behaviour of algorithms ...