Proving Linearizability Using Partial Orders.

Artem Khyzha Mike Dodds Alexey Gotsman Matthew J. Parkinson

Published in: ESOP (2017)

Keyphrases

partial order
partially ordered
total order
partial ordering
stable marriage
lattice structure
vertex cover
precedence constraints
preference relations
totally ordered
similarity search
sequential patterns
dominance relation