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