Search papers, labs, and topics across Lattice.
Cybozu Labs, Inc
1
0
Serializability can be verified in polynomial time with a fixed bound on transaction order width, challenging traditional MVSG assumptions.
