Abstract   We present a class   ⪯     n    of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. For the preorder   ⪯     2    (impossible futures) an axiomatization is given.
['Marc Voorhoeve', 'Sjouke Mauw']
Impossible futures and determinism