most citedOze: Decentralized Graph-based Concurrency Control for Long-running Update Transactions (Extended Version)

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

CV-Rules: Serializability Verification of Concurrency Control Protocols via Explicit Transaction Ordering

Takashi Hoshino, Shigeo Mitsunari, Takashi Kambayashi +2

We present CV-rules, an alternative characterization of serializability in which a transaction order constructed by a protocol satisfies two per-read conditions, C-rule (Causality)…