Local Linearizability for Concurrent Container-Type Data Structures
Haas, Andreas ; Henzinger, Thomas A. ; Holzer, Andreas ; Kirsch, Christoph M. ; Lippautz, Michael ; Payer, Hannes ; Sezgin, Ali ; Sokolova, Ana ; Veith, Helmut 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik