Consider the program
P:: x:=1; y:=1; z:=1; u:=0
And the program
Q:: x, y, z, u := 1, 1, 1, 1; u:= 0
Which of the following is true?
- P and Q are equivalent for sequential processors.
- P and Q are equivalent for all multi-processor models.
- P and Q are equivalent for all multi-core machines.
- P and Q are equivalent for all networks of computers.
- None of the above