Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing