Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2105.06737
Cited By
v1
v2 (latest)
Linearizability: A Typo
14 May 2021
G. Sela
Maurice Herlihy
E. Petrank
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Linearizability: A Typo"
4 / 4 papers shown
Title
Concurrent aggregate queries
G. Sela
E. Petrank
35
1
0
13 May 2024
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
Armando Castañeda
Gilde Valeria Rodríguez
25
3
0
06 Jan 2023
Concurrent Size
G. Sela
E. Petrank
20
4
0
15 Sep 2022
Efficient Linearizability Checking for Actor-based Systems
Mohammed S. Al-Mahfoudh
Ryan Stutsman
Ganesh Gopalakrishnan
30
0
0
13 Oct 2021
1
