Proving Linearizability Using Partial Orders (Extended Version).

Artem Khyzha Mike Dodds Alexey Gotsman Matthew J. Parkinson

Published in: CoRR (2017)

Keyphrases

partial order
partially ordered
total order
lattice structure
partial ordering
vertex cover
stable marriage
preference relations
totally ordered
neural network
multi agent
sequential patterns