共 50 条
- [1] Parallel algorithms for red-black trees [J]. THEORETICAL COMPUTER SCIENCE, 2001, 262 (1-2) : 415 - 435
- [3] Relativistic red-black trees [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2014, 26 (16): : 2684 - 2712
- [8] Permission-Based Verification of Red-Black Trees and Their Merging [J]. 2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 111 - 123
- [10] HOW COSTLY CAN RED-BLACK TREES BE [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 497 : 117 - 126