Proceedings of the 2013 ACM symposium on Principles of distributed computing