1. Local and global properties in networks of processors;Angluin,1980
2. Visualization of distributed algorithms based on labelled graph relabelling systems;Bauderon;Electronic Notes in Theoret. Comput. Sci.,2001
3. Introduction to Algorithms;Cormen,1990
4. Évaluation des algorithmes distribués;Lavault,1995
5. A hundred impossibility proofs for distributed computing;Lynch,1989