Proceedings of the 2012 ACM symposium on Principles of distributed computing