Sean Ovens
Sean Ovens
Home
Publications
Experience
Activities
Contact
Light
Dark
Automatic
distributed algorithms
Strongly Linearizable Implementations of Snapshots and Other Types
Linearizability is the gold standard of correctness conditions for shared memory algorithms, and historically has been considered the …
Sean Ovens
,
Philipp Woelfel
Cite
DOI
URL
Cite
×