We present a class of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. For the simplest new preorder (impossible futures) an axiomatization is given
Full report: pdf