The correctness of a program determine by the timing or intereleaving of multiple threads by the runtime.