Proceedings of the 2013 ACM symposium on Principles of distributed computing (ISBN 9781450320658, 2013)