Point process
= Point process
A point process is a random locally finite configuration of points, usually represented as a random counting measure. A finite <eigenvalue> configuration of a <random matrix> is an example. Multiplicities and whether the process is simple should be specified.