An LCFS finite buffer model with finite source batch input

Queueing systems are studied with a last-come, first-served queueing discipline and batch arrivals generated by a finite number of non-exponential sources. A closed-form expression is derived for the steady-state queue length distribution. This expression has a scaled geometric form and is insensitive to the input distribution. Moreover, an algorithm for the recursive computation of the normalizing constant and the busy source distribution is presented. The results are of both practical and theoretical interest as an extension of the standard Poisson batch input case.