Proceedings of the fourth annual ACM symposium on Principles of distributed computing