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