纪业
Results
1
issues of
纪业
Conflict-free Replicated Data Types (CRDT) are replicated data types that encapsulate the mechanisms for resolving concurrent conflicts. we propose a reusable framework for modeling and verifying CRDT protocols.