Crust: A Modular Framework for Conflict-Free Replicated Data Types (CRDTs) Development, Validation, and Benchmarking | IEEE Journals & Magazine | IEEE Xplore