Palm–Khintchine theorem

The Palm–Khintchine theorem is a fundamental result in the field of stochastic processes, particularly in queuing theory and the study of point processes. It provides a connection between the statistical characteristics of a point process and the corresponding time intervals between events. In essence, the theorem states that for a stationary point process, the distribution of the counting process of points in a given time interval can be linked to the distribution of the inter-arrival times (the times between successive points).