Partial Order Aware Concurrency Sampling.

Xinhao Yuan Junfeng Yang Ronghui Gu

Published in: CAV (2) (2018)

Keyphrases

partial order
partially ordered
total order
partial ordering
conceptual graphs
stable marriage
concurrency control
lattice structure
set theory
database systems
totally ordered
sequential patterns
multi dimensional
preference relations
distributed databases
maximum weight
vertex cover