Relaxed Tree Structures, a Way to Deal with Concurrency and Parallelism on Dictionaries.

Joaquim Gabarr, Xavier Messeguer

Browse the full MCU paper archive.