Proceedings of the First Workshop on Principles and Practice of Eventual Consistency