Searching for "Formal Model of Correctness Without Serializability." – sorted by Relevance.
-
Using Semantic Knowledge of Transactions to Improve Recovery and Availability of Replicated Data
- formal model of correctness without serializability. The motivation for sacrificing serializability
- Cited by 1 (1 self) – Add To MetaCart

