Zum Inhalt springen

  1. Bouajjani, Ahmed [VerfasserIn]; Enea, Constantin [VerfasserIn]; Wang, Chao [VerfasserIn] ; Ahmed Bouajjani and Constantin Enea and Chao Wang [MitwirkendeR]

    Checking Linearizability of Concurrent Priority Queues

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  2. Domínguez, Jesús [VerfasserIn]; Nanevski, Aleksandar [VerfasserIn] ; Jesús Domínguez and Aleksandar Nanevski [MitwirkendeR]

    Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  3. Amram, Gal [VerfasserIn]; Hayoun, Avi [VerfasserIn]; Mizrahi, Lior [VerfasserIn]; Weiss, Gera [VerfasserIn] ; Gal Amram and Avi Hayoun and Lior Mizrahi and Gera Weiss [MitwirkendeR]

    Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  4. Goubault, Éric [VerfasserIn]; Ledent, Jérémy [VerfasserIn]; Mimram, Samuel [VerfasserIn] ; Éric Goubault and Jérémy Ledent and Samuel Mimram [MitwirkendeR]

    Concurrent Specifications Beyond Linearizability

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  5. Goubault, Éric [VerfasserIn]; Ledent, Jérémy [VerfasserIn]; Mimram, Samuel [VerfasserIn] ; Éric Goubault and Jérémy Ledent and Samuel Mimram [MitwirkendeR]

    Brief Announcement: On the Impossibility of Detecting Concurrency

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018

  6. Kowalski, Vincent [VerfasserIn]; Mostéfaoui, Achour [VerfasserIn]; Perrin, Matthieu [VerfasserIn] ; Vincent Kowalski and Achour Mostéfaoui and Matthieu Perrin [MitwirkendeR]

    Atomic Register Abstractions for Byzantine-Prone Distributed Systems

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  7. Cai, Wentao [VerfasserIn]; Wen, Haosen [VerfasserIn]; Maksimovski, Vladimir [VerfasserIn]; Du, Mingzhe [VerfasserIn]; Sanna, Rafaello [VerfasserIn]; Abdallah, Shreif [VerfasserIn]; Scott, Michael L. [VerfasserIn] ; Wentao Cai and Haosen Wen and Vladimir Maksimovski and Mingzhe Du and Rafaello Sanna and Shreif Abdallah and Michael L. Scott [MitwirkendeR]

    Fast Nonblocking Persistence for Concurrent Data Structures

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  8. Cohen, Shir [VerfasserIn]; Keidar, Idit [VerfasserIn] ; Shir Cohen and Idit Keidar [MitwirkendeR]

    Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  9. Sheffi, Gali [VerfasserIn]; Herlihy, Maurice [VerfasserIn]; Petrank, Erez [VerfasserIn] ; Gali Sheffi and Maurice Herlihy and Erez Petrank [MitwirkendeR]

    VBR: Version Based Reclamation

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021

  10. Wen, Haosen [VerfasserIn]; Cai, Wentao [VerfasserIn]; Du, Mingzhe [VerfasserIn]; Valpey, Benjamin [VerfasserIn]; Scott, Michael L. [VerfasserIn] ; Haosen Wen and Wentao Cai and Mingzhe Du and Benjamin Valpey and Michael L. Scott [MitwirkendeR]

    Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2020

  11. Attiya, Hagit [VerfasserIn]; Enea, Constantin [VerfasserIn] ; Hagit Attiya and Constantin Enea [MitwirkendeR]

    Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs That Use Concurrent Objects

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  12. Nawab, Faisal [VerfasserIn]; Izraelevitz, Joseph [VerfasserIn]; Kelly, Terence [VerfasserIn]; Morrey III, Charles B. [VerfasserIn]; Chakrabarti, Dhruva R. [VerfasserIn]; Scott, Michael L. [VerfasserIn] ; Faisal Nawab and Joseph Izraelevitz and Terence Kelly and Charles B. Morrey III and Dhruva R. Chakrabarti and Michael L. Scott [MitwirkendeR]

    Dalí: A Periodically Persistent Hash Map

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017

  13. Haas, Andreas [VerfasserIn]; Henzinger, Thomas A. [VerfasserIn]; Holzer, Andreas [VerfasserIn]; Kirsch, Christoph M. [VerfasserIn]; Lippautz, Michael [VerfasserIn]; Payer, Hannes [VerfasserIn]; Sezgin, Ali [VerfasserIn]; Sokolova, Ana [VerfasserIn]; Veith, Helmut [VerfasserIn] ; Andreas Haas and Thomas A. Henzinger and Andreas Holzer and Christoph M. Kirsch and Michael Lippautz and Hannes Payer and Ali Sezgin and Ana Sokolova and Helmut Veith [MitwirkendeR]

    Local Linearizability for Concurrent Container-Type Data Structures

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016

  14. Bouajjani, Ahmed [VerfasserIn]; Emmi, Michael [VerfasserIn]; Enea, Constantin [VerfasserIn]; Hamza, Jad [VerfasserIn] ; Ahmed Bouajjani and Michael Emmi and Constantin Enea and Jad Hamza [MitwirkendeR]

    Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2015

  15. Castañeda, Armando [VerfasserIn]; Rajsbaum, Sergio [VerfasserIn]; Raynal, Michel [VerfasserIn] ; Armando Castañeda and Sergio Rajsbaum and Michel Raynal [MitwirkendeR]

    Relaxed Queues and Stacks from Read/Write Operations

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021