Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata (Q2734633)
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: Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata |
scientific article; zbMATH DE number 1635132
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata |
scientific article; zbMATH DE number 1635132 |
Statements
Formalization and correctness of a concurrent linear hash structure algorithm using nested transactions and I/O automata (English)
0 references
20 August 2001
0 references
concurrency control algorithm
0 references
nested transaction model
0 references
0.8576591
0 references
0.83897007
0 references
0.8379031
0 references
0.83400357
0 references
0.8328621
0 references
0.8325081
0 references
0.8318304
0 references
0.8318304
0 references
