TY  - RPRT
TI  - CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering
AU  - Takashi Hoshino
AU  - Shigeo Mitsunari
AU  - Takashi Kambayashi
AU  - Ryoji Kurosawa
AU  - Sho Nakazono
PY  - 2026
UR  - https://arxiv.org/abs/2606.25409
ID  - 2606.25409
ER  -