Interleaving and true parallelism