Certified Mergeable Replicated Data Types

Publication
Workshop on Principles and Practice of Consistency for Distributed Data