Intermediate value linearizability: a quantitative correctness criterion (Q6534999)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Intermediate value linearizability: a quantitative correctness criterion |
scientific article; zbMATH DE number 7760491
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intermediate value linearizability: a quantitative correctness criterion |
scientific article; zbMATH DE number 7760491 |
Statements
Intermediate value linearizability: a quantitative correctness criterion (English)
0 references
2 November 2023
0 references
concurrency
0 references
concurrent objects
0 references
linearizability
0 references
0.95555294
0 references
0.84795606
0 references
0.84365845
0 references
0.84101725
0 references
0.8408263
0 references
0 references
0.8393278
0 references