Concurrent check in causal order