Certified Mergeable Replicated Data Types
Certified Mergeable Replicated Data Types
Vimala Soundarapandian (Indian Institute of Technology, Madras, India), KC Sivaramakrishnan (Indian Institute of Technology, Madras, India) and Kartik Nagar (Indian Institute of Technology, Madras, India)
8th Workshop on Principles and Practice of Consistency for Distributed Data
PaPoC 2021