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