activity
20192026
most citedNWR: Rethinking Thomas Write Rule for Omittable Write Operations

4 citations · 5 across the 4 of their papers we have counts for

collaborators
Showing 2026Show 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)…