We obtain a single formula which, when its components are adequately chosen, transforms itself into the main formulas of the Palm theory of point processes: Little's L = λW formula [10], Brumelle's H = λG formula [5], Neveu's exchange formula [14], Palm inversion formula and Miyazawa's rate conservation law [12]. It also contains various extensions of the above formulas and some new ones.

Shanthikumar and Sumita (1986) proved that the stationary system queue length distribution just after a departure instant is geometric for GI/GI/1 with LCFS-P/H service discipline and with a constant acceptance probability of an arriving customer, where P denotes preemptive and H is a restarting policy which may depend on the history of preemption. They also got interesting relationships among characteristics. We generalize those results for G/G/1 with an arbitrary restarting LCFS-P and with an arbitrary acceptance policy. Several corollaries are obtained. Fakinos' (1987) and Yamazaki's (1990) expressions for the system queue length distribution are extended. For a Poisson arrival case, we extend the well-known insensitivity for LCFS-P/resume, and discuss the stationary distribution for LCFS-P/repeat.