Title: Proceedings of the 4th International Conference on Principles of Distributed Systems