Poisson process (source code)

= Poisson process
{c}
{wiki}

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]$.