no code implementations • 8 Mar 2021 • Sreeja Nair, Filipe Meirim, Mário Pereira, Carla Ferreira, Marc Shapiro
We provide mechanized proof that the data structure is convergent and maintains the tree invariant.
Distributed, Parallel, and Cluster Computing