Proceedings of the seventh annual ACM Symposium on Principles of distributed computing