Poisson process

A rate-$\lambda$ Poisson process has independent stationary increments. Conditional on $N_t=n$, arrival times are the order statistics of $n$ independent uniform points on $[0,t]$.