共 50 条
- [1] Certified Mergeable Replicated Data Types PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 332 - 347
- [3] HAMBAND: RDMA Replicated Data Types PROCEEDINGS OF THE 43RD ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '22), 2022, : 348 - 363
- [4] A Denotational View of Replicated Data Types COORDINATION MODELS AND LANGUAGES, COORDINATION 2017, 2017, 10319 : 138 - 156
- [5] Bounded Implementations of Replicated Data Types VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 355 - 372
- [8] CONVERGENT AND COMMUTATIVE REPLICATED DATA TYPES BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2011, (104): : 67 - 88
- [9] Implementation Correctness for Replicated Data Types, Categorically THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, 2020, 12545 : 283 - 303
- [10] Conflict-Free Replicated Data Types STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, 2011, 6976 : 386 - +