Non-interference in Partial Order Models.

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

Published in: ACM Trans. Embed. Comput. Syst. (2017)

Keyphrases

partial order
partially ordered
total order
decision making
probabilistic model
multi dimensional
decision makers
data structure
stable marriage