LU-preorder is a simulation; completeness of abstractions from time-abstracting simulations; invariant preservation under certain simulations
LU-preorder is a simulation; completeness of abstractions from time-abstracting simulations; invariant preservation under certain simulations

wimmers/munta