A causal operational semantics of atomic refinenement