Supporting lock-free composition of concurrent data objects.

Daniel Cederman, Philippas Tsigas

Browse the full PPoPP paper archive.