No. | Title | Author | Year |
---|---|---|---|
1 | Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers | Attiya, Hagit et al. | 2021 |
2 | Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs That Use Concurrent Objects | Attiya, Hagit et al. | 2019 |
3 | Robustness Against Transactional Causal Consistency | Beillahi, Sidi Mohamed et al. | 2019 |
4 | Order out of Chaos: Proving Linearizability Using Local Views | Feldman, Yotam M. Y. et al. | 2018 |
5 | Checking Linearizability of Concurrent Priority Queues | Bouajjani, Ahmed et al. | 2017 |
6 | Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk) | Bouajjani, Ahmed et al. | 2015 |
Current Page : | |
Number of result pages: | 1 |
Number of documents: | 6 |