Proceedings of the 4th International Workshop on Theoretical Aspects of Dynamic Distributed Systems