@InProceedings{LSS94,
author={N. Lynch and I. Saias and R. Segala},
title={Proving Time Bounds for Randomized Distributed Algorithms},
booktitle={Proc. 13th Annual ACM Symposium on Principles of Distributed Computing (PODC'94)},
year={1994},

editor={},
pages={314--323},
organization={},
publisher={ACM Press},
address={},
month={},
note={},
key={}
}