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