Mecke's formula is concerned with a stationary random measure and shift-invariant measure on a locally compact Abelian group , and relates integrations concerning them to each other. For , we generalize this to a pair of random measures which are jointly stationary. The resulting formula extends the so-called Swiss Army formula, which was recently obtained as a generalization for Little's formula. The generalized Mecke formula, which is called GMF, can be also viewed as a generalization of the stationary version of H = λG. Under the stationary and ergodic assumptions, we apply it to derive many sample path formulas which have been known as extensions of H = λG. This will make clear what kinds of probabilistic conditions are sufficient to get them. We also mention a further generalization of Mecke's formula.

The systems considered are single-server, though the theory has wider application to models of adaptive queueing systems. Arrival and service mechanisms are governed by state (n)-dependent mean arrival and service rates λn and µn. It is assumed that the choice of λn and µn leads to a stable regime. Formulae are sought that provide easy means of computing statistics of effectiveness of systems. A measure of traffic intensity is first defined in terms of ‘effective’ service time and inter-arrival intervals. It is shown that the latter have a renewal type connection with appropriately defined mean effective arrival and service rates λ∗ and µ∗ and that in consequence the ratio λ∗/µ∗ is the traffic intensity, equal moreover to where is the stable probability of an empty system, consistent with other systems. It is also shown that for first come, first served discipline the equivalent of Little's formula holds, where and are the mean waiting time of an arrival and mean system size at an arbitrary epoch. In addition it appears that stable regime output intervals are statistically identical with effective inter-arrival intervals. Symmetrical moment formulae of arbitrary order are derived algebraically for effective inter-arrival and service intervals, for waiting time, for busy period and for output.