Conflict-free Replicated Priority Queue: Design, Verification and Evaluation-Reference-Cited by-同舟云学术

Conflict-free Replicated Priority Queue: Design, Verification and Evaluation

Published:2023-08-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th Asia-Pacific Symposium on Internetware
language:
Short-container-title:

Author:

Zhang Yuqi¹^ORCID,Ouyang Lingzhi¹^ORCID,Huang Yu¹^ORCID,Ma Xiaoxing¹^ORCID

Affiliation:

1. State Key Laboratory for Novel Software Technology, Nanjing University, China

Funder

National Natural Science Foundation of China

Fundamental Research Funds for the Central Universities

Cooperation Fund of Huawei-Nanjing University Next Generation Programming Innovation Lab

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3609437.3609452

Reference39 articles.

1. 2022. The TLA+ Home Page. https://lamport.azurewebsites.net/tla/tla.html 2022. The TLA+ Home Page. https://lamport.azurewebsites.net/tla/tla.html

2. 2022. TLA+ – the Brontinus Release. Retrieved Apr. 21 2022 from https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1 2022. TLA+ – the Brontinus Release. Retrieved Apr. 21 2022 from https://github.com/tlaplus/tlaplus/releases/tag/v1.7.1

3. 2023. Azure Cosmos DB – NoSQL Database , Microsoft Azure. Retrieved Feb. 16, 2023 from https://azure.microsoft.com/en-us/products/cosmos-db 2023. Azure Cosmos DB – NoSQL Database, Microsoft Azure. Retrieved Feb. 16, 2023 from https://azure.microsoft.com/en-us/products/cosmos-db

4. 2023. Commands for sorted set of Redis. https://redis.io/commands/?group=sorted-set 2023. Commands for sorted set of Redis. https://redis.io/commands/?group=sorted-set

5. 2023. Conflict-Free Replicated Data Types Based on Redis . Retrieved Feb. 11, 2023 from https://github.com/elem-azar-unis/CRDT-Redis 2023. Conflict-Free Replicated Data Types Based on Redis. Retrieved Feb. 11, 2023 from https://github.com/elem-azar-unis/CRDT-Redis