 VeriFx: Correct Replicated Data Types for the MassesEuropean Conference on Object-Oriented Programming (ECOOP), 2022 |
 Linearizable State Machine Replication of State-Based CRDTs without LogsACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC), 2019 |
 |
 |
