Stationary distribution of an M-M-s-K queue

Put $\rho =\lambda /\mu$. The unique stationary distribution of an $M/M/s/K$ queue iswhere $Z$ is the sum of the displayed weights. Adjacent terms satisfy detailed balance for a birth-death process, so the queue is reversible in equilibrium.