Simple increment race condition

increment.tla

EXTENDS Naturals

CONSTANT N

(*
--algorithm Increment

variable count=0;

process Proc \in 1..N
    variables temp=0,
              i=0;
begin
    l: while i < N do
        set: i := i+1;
             temp := count;
        inc: count := temp+1;
       end while
end process

end algorithm
*)