Using eternity variables to specify and prove a serializable database interface (Q1881266)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Using eternity variables to specify and prove a serializable database interface |
scientific article |
Statements
Using eternity variables to specify and prove a serializable database interface (English)
0 references
4 October 2004
0 references
distributed database
0 references
NQTHM
0 references
