Impossible futures and determinism
We present a class less than or equal to (n) of process preorders related to contrasimulation equivalence and characterize the predicates they preserve. For the preorder less than or equal to2 (impossible futures) an axiomatization is given. (C) 2001 Elsevier Science B.V. All rights reserved.
concurrency verification branching-linear spectrum