CV-rules equivalently characterize serializability via explicit orders satisfying C-rule and V-rule, used to verify five protocols including SSN and Aria with Lean mechanization of most results.
Porumbescu, and John D
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it