Probability properties of Poisson process arrivals