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

Link zu diesem Datensatz

https://d-nb.info/1365625966

Titel

Local Linearizability for Concurrent Container-Type Data Structures

Art des Inhalts

Teil eines Werks

Verfassangaben

Andreas Haas, Thomas A. Henzinger, Andreas Holzer, Christoph M. Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, Helmut Veith

Autor(en)

• Haas, Andreas
• Henzinger, Thomas A.
• Holzer, Andreas
• Kirsch, Christoph M.
• Lippautz, Michael
• Payer, Hannes
• Sezgin, Ali
• Sokolova, Ana
• Veith, Helmut

Verlag

Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik [2016]

Jahr

Erscheinungsdatum: 2016

Umfang/Format

Online-Ressource

DOI

10.4230/LIPIcs.CONCUR.2016.6

Online

https://doi.org/10.4230/LIPIcs.CONCUR.2016.6

Sprache

eng

Schlagwörter

• (concurrent) data structures
• relaxed semantics
• linearizability

Stand

15.05.2025 05:15

Im Katalog seit

07.03.2026

Beschreibung vom Verlag

Verlagstext laden