Specifying and Verifying Partial Order Properties Using Template MSCs.

Blaise Genest Marius Minea Anca Muscholl Doron A. Peled

Published in: FoSSaCS (2004)

Keyphrases

partial order
partially ordered
total order
partial ordering
stable marriage
set theory
lattice structure
totally ordered
matching algorithm
template matching
preference relations
dominance relation
desirable properties
vertex cover
causal links