共 50 条
- [1] SYNTHESIZING RED-BLACK TREES AND HASH TABLES [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER THEORY AND ENGINEERING (ICACTE 2009), VOLS 1 AND 2, 2009, : 1275 - 1282
- [3] Relativistic red-black trees [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2014, 26 (16): : 2684 - 2712
- [8] Parallel algorithms for red-black trees [J]. THEORETICAL COMPUTER SCIENCE, 2001, 262 (1-2) : 415 - 435
- [10] 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