Preemptive processes for 4D language