Before revision:  The reasoning in 16 does not easily generalize to jobs with nonexponential service time distributions. A modularized program for treating general service time distributions was introduced in Bramson et al. 4 . The program relies on an ansatz that asserts, in equilibrium, any fixed number of queues become independent of one another as N goes to infinity.
After revision:  The reasoning in 16 4 . The program relies on an ansatz that asserts, in equilibrium, any fixed number of queues become independent of one another as N goes to infinity.