A proof for lack of starvation in DQDB with and without slot reuse

DQDB is the IEEE 802.6 MAC standard protocol for metropolitan area networks. It is designed for the slotted, dual BUS configuration. A simple way to improve the performance of DQDB is to perform slot reuse and many methods have been suggested in the past to efficiently incorporate slot reuse with DQDB. However, some of them can lead to starvation. The authors improve one of these previous suggestions and the main contribution of the paper is that for the first time they also provide a proof that the improved scheme ensures lack of starvation. They also specify this proof for the important case of DQDB without slot reuse