Sequential verification of serializability (Q5255059)
From MaRDI portal
scientific article; zbMATH DE number 6445082
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sequential verification of serializability |
scientific article; zbMATH DE number 6445082 |
Statements
Sequential verification of serializability (English)
0 references
11 June 2015
0 references
concurrency
0 references
reduction
0 references
serializability
0 references
verification
0 references
