Tracking in Order to Recover - Detectable Recovery of Lock-Free Data Structures.

Hagit Attiya, Ohad Ben-Baruch, Panagiota Fatourou, Danny Hendler, Eleftherios Kosmas

Browse the full SPAA paper archive.