Idit Keidar Challenges in Evaluating Distributed Algorithms. 40-44 2003 conf/ac/2003dc Future Directions in Distributed Computing http://link.springer.de/link/service/series/0558/bibs/2584/25840040.htm db/conf/ac/dc2003.html#Keidar03