-
Formal verification of a lock-free stack with hazard pointers
Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang ; Cerone, Antonio ; Pihlajasaari, Pekka 2011 Universität Augsburg
-
Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation
Nikolaev, Ruslan ; Ravindran, Binoy 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Verifying a Stack with Hazard Pointers in Temporal Logic
Tofan, Bogdan ; Schellhorn, Gerhard ; Reif, Wolfgang 2011 Universität Augsburg