A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms
Michel Bauderon, Mohamed E. Mosbah · Electronic Notes in Theoretical Computer Science · 2003
We present a general method and a toolkit for designing, implementing and visualizing distributed algorithms. We make use of the high level encoding of distributed algorithms as graph rewriting systems. The result is a unified and simple framework for describing, implementing and visualizing a large family of distributed algorithms.