Verifying linearizability with hindsight (Q5176190)
From MaRDI portal
scientific article; zbMATH DE number 6410381
Language | Label | Description | Also known as |
---|---|---|---|
English | Verifying linearizability with hindsight |
scientific article; zbMATH DE number 6410381 |
Statements
Verifying linearizability with hindsight (English)
0 references
2 March 2015
0 references
hindsight
0 references
linearizability
0 references
optimistic concurrency
0 references
wait-freedom
0 references