The conditional distribution of the residual service time in the Mn/G/1 queue

We study a single server queueing system with general service time distribution and memoryless inter-arrival times. The arrival rate is not constant but varies with the number of customers in the system. A recursive formula for the conditional distribution of the remaining service time given the queue length is derived for an arbitrary epoch. It is also shown that this conditional distribution holds for arrival epochs. The recursion for the corresponding Laplace-Stieltjes transforms and expected values is given in a simple formula.