1. Proof verification and hardness of approximation problems;Arora,1992
2. A dining philosophers algorithm with polynomial response time;Awerbuch,1990
3. Efficient asynchronous distributed symmetry breaking;Awerbuch,1994
4. Local labeling and resource allocation using preprocessing;Attiya,1994
5. Distributed resource allocation algorithms;Bar-Ilan,1992