Concepedia

Graph Relabelling Systems A Tool for Encoding, Proving, Studying and Visualizing Distributed Algorithms

Michel Bauderon

Electronic Notes in Theoretical Computer Science · 2004 · 14 citations · 11 references

DOIFull text

Open access

Concepts

Abstract

International audience

References

11

Computing on anonymous networks. I. Characterizing the solvable cases

Masafumi Yamashita, Tsunehiko Kameda · IEEE Transactions on Parallel and Distributed Systems · 1996 · 286 citations

, , +15

Easy impossibility proofs for distributed consensus problems

Michael J. Fischer, Nancy Lynch, Michael Merritt · Distributed Computing · 1986 · 257 citations

, , +11

Distributed enumeration

Antoni Mazurkiewicz · Information Processing Letters · 1997 · 65 citations

Simulation of large networks on smaller networks

Hans L. Bodlaender, Jan Van Leeuwen · Information and Control · 1986 · 33 citations

, , +13

Terminating iterative solution of simultaneous equations in distributed message passing systems

Bolesław K. Szymański, Yuan Shi, Noah S. Prywes · 1985 · 31 citations · Full text

, , +7