Non-interference in Partial Order Models.

Béatrice Bérard Loïc Hélouët John Mullins

Published in: ACSD (2015)

Keyphrases

partial order
partially ordered
total order
stable marriage
domain specific
conceptual graphs
feature space
probabilistic model
constraint satisfaction
lattice structure
totally ordered