共 50 条
- [1] Certified Mergeable Replicated Data Types [J]. PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 332 - 347
- [3] A Denotational View of Replicated Data Types [J]. COORDINATION MODELS AND LANGUAGES, COORDINATION 2017, 2017, 10319 : 138 - 156
- [4] HAMBAND: RDMA Replicated Data Types [J]. PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 348 - 363
- [5] Bounded Implementations of Replicated Data Types [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 355 - 372
- [6] Delta State replicated data types [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2018, 111 : 162 - 173
- [8] CONVERGENT AND COMMUTATIVE REPLICATED DATA TYPES [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2011, (104): : 67 - 88
- [10] Conflict-Free Replicated Data Types [J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, 2011, 6976 : 386 - +