Wait-free linearization with a mechanical proof (Q5137000)
From MaRDI portal
scientific article; zbMATH DE number 7279501
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Wait-free linearization with a mechanical proof |
scientific article; zbMATH DE number 7279501 |
Statements
Wait-free linearization with a mechanical proof (English)
0 references
30 November 2020
0 references
linearizable
0 references
shared data object
0 references
consensus
0 references
wait-free
0 references
memory management
0 references
correctness
0 references
grain of atomicity
0 references
mechanical verification
0 references
Boyer-Moore logic
0 references
0 references
