Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1805.03992
Cited By
v1
v2
v3 (latest)
Order out of Chaos: Proving Linearizability Using Local Views
10 May 2018
Yotam M. Y. Feldman
C. Enea
Adam Morrison
N. Rinetzky
Sharon Shoham
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Order out of Chaos: Proving Linearizability Using Local Views"
1 / 1 papers shown
Title
Proving Highly-Concurrent Traversals Correct
Yotam M. Y. Feldman
Artem Khyzha
C. Enea
Adam Morrison
Aleksandar Nanevski
N. Rinetzky
Sharon Shoham
19
17
0
02 Oct 2020
1
