Proceedings of the third annual ACM symposium on Principles of distributed computing