Burke theorem for an M-M-infinity queue (source code)

= Burke theorem for an M-M-infinity queue
{c}

In stationarity, the departure process of an $M/M/\infty$ queue is a <Poisson process> of rate $\lambda$. By time reversibility, the departures before any fixed time are independent of the occupancy at that time.